GNU Prolog is a free implementation (under GPL) of the logic programming language PROLOG. It can compile to native machine code which is extremely fast in execution. Another feature is the included constraint solver.
Project Admins:
bartkul, diaz, mio, spa
Operating System:
All 32-bit MS Windows (95/98/NT/2000/XP), All POSIX (Linux/BSD/UNIX-like OSes), Other Operating Systems
License:
GNU General Public License (GPL)
Category:
Artificial Intelligence, Compilers, Interpreters
Buy expert services from Sourceforge.net Marketplace. Support from the people who know.