SWI-Prolog 5.11.26 Development / 5.10.5 Stable
A comprehensive Prolog environment
SWI-Prolog is a tool based on a very simple Prolog virtual machine called ZIP that defines 7 instructions. Prolog can easily be compiled into this language and the abstract machine code is easily decompiled back into Prolog. As it is also possible
Read more