Logtalk runs on almost any computer with a Prolog compiler (the main development environment is an Apple MacBook Pro running MacOS X 10.5). The interface between Logtalk and a specific back-end Prolog compiler is accomplished via a small configuration file. This file contains some Logtalk specific predicates and implementations for ISO Prolog standard predicates not available in the Prolog compiler.
In writing Logtalk I have tried to follow the ISO Prolog standard (Part I — General core) whenever possible. Capabilities needed by Logtalk that are not defined in the Part I of the ISO standard are:
dynamic, static, built_in)Provided that your favorite Prolog has these capabilities mentioned above, making a configuration file is very easy. The Logtalk package already includes configuration files for the most common Prolog compilers. For optimal performance, Logtalk requires that the Prolog compiler supports first-argument indexing for both static and dynamic code.
Logtalk development and testing is currently performed be rotating between the following back-end Prolog compilers (in alphabetical order):
In addition, Logtalk runs with no modifications with the following back-end Prolog compilers (in alphabetical order):
Logtalk also runs with little modifications with the following back-end Prolog compilers (in alphabetical order):
I try to test Logtalk with some of these compilers from time to time but, as you may understand, it is impossible for me to test every Logtalk update against each and every one of these compatible Prolog compilers on every supported operating-system. Please report any problem that you might find.