I put together an report and presentation of the Prolog language for my fourth-year software engineering (ENEL553) class. The presentation is a higher-level overview of the language, while the report goes into more details of how the language works at run-time. For a sample project compiler, see my grack Prolog project.


Prolog is a logic-based language useful for solving problems existing in a domain of facts and rules. The name “Prolog” stands for PROgrammable LOGic, indicating its strong roots in formal logic.

Read full post