Topic

Prolog.

programming language that uses first order logic

The journal

The conversation starts in the journal — be the first to post.

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

Prolog — programming language that uses first order logic