Editing Abstract machine (section)

=== Logical languages ===
[[First-order logic|Predicate calculus (first order logic)]] is the foundation of [[Logic programming|logic programming languages]]. The most well-known logic programming language is [[Prolog]]. The rules in Prolog are written in a uniform format known as universally quantified 'Horn clauses', which means to begin the calculation that attempts to discover a proof of the objective. The [[Warren Abstract Machine|Warren Abstract Machine WAM]] (1983),<ref name=":1" /> which has become the de facto standard in Prolog program compilation, has been the focus of most study. It provides special purpose instructions such as data unification instructions and control flow instructions to support backtracking (searching algorithm).<ref>{{Cite web |date=2018-05-26 |title=Prolog {{!}} An Introduction |url=https://www.geeksforgeeks.org/prolog-an-introduction/ |access-date=2022-05-31 |website=GeeksforGeeks |language=en-us}}</ref>