Prolog is a programming language that allows the user to program in a style that approximates first-order predicate logic. Its characteristics are that it is a high-level, weakly typed, declarative language, which makes use of backtracking, negation by failure, variable unification, and a user-defined database of rules and facts. Its declarative, rule-based nature has made it of interest to the systems biology modeling community.
History and Availability
Prolog was developed in the 1970s but still remains in widespread use today. Many of the best known applications of Prolog have been in the areas of artificial intelligence (AI), knowledge-based systems, and knowledge representation, and have built on the strengths of the language as an easy to query database system. However, Prolog is also a general-purpose high-level programming language, and its use is not restricted to these areas. Many free or commercial implementations of Prolog compilers are in...
- Deransart P, Ed-Dbali A, Cervoni L (1996) Prolog: the standard: reference manual. Springer, Berlin. ISBN 3-540-59304-7Google Scholar
- Ray O, Whelan KN, King RD (2010) Automatic revision of metabolic networks through logical analysis of experimental data. In: De Raedt L (ed) Proceedings of the 19th international conference on inductive logic programming. Lecture notes in artificial intelligence, vol 5989. Springer, Berlin, pp 194–201Google Scholar