History of Prolog

	Revision 7 . . (edit) August 17, 2001 7:53 am by (logged).60.221.xxx
	Revision 6 . . August 16, 2001 3:32 am by AxelBoldt [link to first-order logic]
	Revision 5 . . August 7, 2001 9:04 pm by Simon J Kissane

---

Difference (from prior major revision) (minor diff, author diff)

Changed: 1,2c1,2

Prolog is a logical programming language. It is an acronym for PROgramming in LOGic. It was created by Alain Colmeraurer in 1973. Prolog is used in many artificial intelligence programs.

Prolog is a logical programming language. It is an acronym for PROgramming in LOGic. It was created by [Alain Colmeraurer]? in 1973. Prolog is used in many artificial intelligence programs.

Changed: 4c4

Prolog is based on [first order predicate calculus]?; however it is restricted to allow only [horn clauses]?.

Prolog is based on first-order predicate calculus; however it is restricted to allow only [horn clauses]?.