Search results
Results from the WOW.Com Content Network
SWI-Prolog is a free implementation of the programming language Prolog, commonly used for teaching and semantic web applications. It has a rich set of features, libraries for constraint logic programming, multithreading, unit testing, GUI, interfacing to Java, ODBC and others, literate programming, a web server, SGML, RDF, RDFS, developer tools (including an IDE with a GUI debugger and GUI ...
YAP is an open-source, high-performance implementation of the Prolog programming language developed at LIACC/Universidade do Porto and at COPPE Sistemas/UFRJ.Its Prolog engine is based in the WAM (Warren Abstract Machine), with several optimizations for better performance.
This is a list of free and open-source software (FOSS) packages, computer software licensed under free software licenses and open-source licenses. Software that fits the Free Software Definition may be more appropriately called free software ; the GNU project in particular objects to their works being referred to as open-source . [ 1 ]
Main page; Contents; Current events; Random article; About Wikipedia; Contact us; Help; Learn to edit; Community portal; Recent changes; Upload file
Logic Programming Associates (LPA) is a company specializing in logic programming and artificial intelligence software. LPA was founded in 1980 [1] and is widely known for its range of Prolog compilers, the Flex expert system toolkit and most recently, VisiRule.
GNU Prolog (also called gprolog) is a compiler developed by Daniel Diaz with an interactive debugging environment for Prolog available for Unix, Windows, Mac OS X and Linux.It also supports some extensions to Prolog including constraint programming over a finite domain, parsing using definite clause grammars, and an operating system interface.
Arity/Prolog32 allows a developer to create and execute Prolog programs for Windows, which are also operable on Linux using WINE. The software includes a compiler and interpreter written in Prolog, C, Assembler. The interpreter provides debugging support, and can be invoked from compiled code for applications that require dynamically modifiable ...
XSB is a compiled dialect of Prolog based on the Warren Abstract Machine. [1] Unlike systems derived from Quintus, XSB uses a module system based on Prolog atoms. [1] It features tabled resolution and supports the HiLog language (permitting limited higher-order logic programming). [1]