Home
Windows
Mac
Linux
Android
iOS
Submit Software
PROGRAMS BY xsb.sf.net
XSB
Free
Logic Programming and Deductive Database system (Tabled Prolog) for Unix and Windows.