Prolog
Programming in logic is a programming language based on Horn-Clause logic (not even full first-order logic).We recommend Mercury instead.
- dmoz entry Prolog
- Wikipedia entry Prolog
- FAQ
- Is the ISO Prolog standard taken seriously? an article by Roberto Bagnara
- Open Prolog
- Ciao Prolog
- GNU Prolog
- YAP Prolog
- SWI Prolog
- Visual Prolog
- SICStus Prolog
- Amzi! Prolog
- The CLP(BN) Prolog System integrating Bayesian variables with the logic programming framework
- Actor Prolog.
- Barlog - a Prolog interpreter in SML.
- CCTP - Compiler Construction Tools in Prolog.
- Interprolog - a Java front-end and enhancement for Prolog.
- Jlog - Prolog in Java.
- Jprolog - a Prolog to Java translator.
- Logtalk - a Prolog object-oriented extension.
- Mixtus - an automatic partial evaluator for Prolog.
- Plp - Prological Language Processing, a lightweight Prolog-based framework for developing language processors such as pre-processors, front-ends, evaluators, etc.
- W-prolog - an interpreter for a Prolog-like language in Java.
- Xsb.
Unsorted
This page is linked from: Artificial Intelligence Clump Erlang Fifth Generation Computer Systems Janus Joy Lambda Prolog Libra Lisp machine Mercury Parsing PL 101 Poplog Qi Ravi Scheme Screamer The True Story of Ada Warren Abstract Machine {log}