Prolog

Programming language that uses first order logic

Summary

Prolog is a logic programming language that has its origins in artificial intelligence, automated theorem proving, and computational linguistics.

Modified

4/25/2026, 1:05:42 PM