Prolog (www.swi-prolog.org)
- has its roots in first-order logic
- is a type of logic programming language
- is intended primarily as a declarative programming language: the program logic is expressed in terms of relations, represented as facts and rules
Installation
brew install swi-prolog