Logtalk is an object-oriented logic programming language that can use most modern Prolog implementations as a back-end compiler. As a multi-paradigm language, it includes support for both prototypes and classes, protocols (interfaces), component-based programming through category-based composition, event-driven programming, and high-level multi-threading programming.
Extracted automatically from Logtalk homepage
brew install logtalk
The following 2 dependencies will be installed if you install Logtalk: