Prolog Program

A Prolog Program is a Computer Program in a Prolog Programming Language.

• Context:
  • It can (typically) contain Prolog Fact Statements (e.g. city(ottawa)).
  • It can (typically) contain Prolog Rule Statements.
• Example(s):
  • spouse(x,y) :- wife(x,y)
  • main :- write('Hello World!'), nl, halt.
• Counter-Example(s):
  • LISP Program.
• See: Logic Program, Prolog Compiler, AI Program, NLP Program, Computational Linguistics, Backtracking.

---

---

References

2013

• (AJ Jones, 2013) ⇒ Alison Jamie Jones. (2013). “Natural Language Processing in Prolog." MSc Thesis, Department of Computer Science, Swansea University

---