santanuchakrabarti

binprolog

BinProlog is a C-based Prolog compiler and runtime system written by Paul Tarau. BinProlog can generate bytecode or C-code and it supports multithreading and networking. BinProlog runs on Mac OS X, Linux and Windows and had been ported in the past to various Unix systems.