Paulo Moura

Free
Extends and leverages the Prolog language with modern code encapsulation.