Definition

A logic programming language associated with artificial intelligence and computational linguistics. Prolog programs are defined as a set of relations and rules, and the language excels at pattern matching, symbolic reasoning, and database querying.

Defined Term