Description

Prolog has its roots in first-order logic, a formal logic, and unlike many other programming languages, Prolog is declarative: the program logic is expressed in terms of relations, represented as facts and rules. A computation is initiated by running a query over these relations.

Audience

This tutorial will especially help interested students and engineering graduates to implement and realize natural language understanding, expert systems, specification language, machine learning, robot planning, automated reasoning, problem solving and so on.