Search results
Results from the WOW.Com Content Network
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.
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.
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 ...
Poplog is a reflective, incrementally compiled software development computer programming integrated development environment and system platform for the programming languages POP-11, Common Lisp, Prolog, and Standard ML.
Main page; Contents; Current events; Random article; About Wikipedia; Contact us
Smultron was created by Swedish programmer Peter Borg as his first open-source project, in order to fix what he perceived as a lack of free, advanced, easy-to-use Mac text editors at the time. Its first version was released for free on SourceForge in 2004, and has since received significant support and feedback from the Mac open-source community..
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.
Ciao provides a full Prolog system (supporting ISO-Prolog), declarative subsets and extensions of Prolog, functional programming (including lazy evaluation), higher-order (with predicate abstractions), constraint programming, and objects, as well as feature terms (records), persistence, several control rules (breadth-first search, iterative deepening, ...), concurrency (threads/engines ...