The Wikipedia snippet below is not backed by a reliable source. Can you find one?
Click I got this! to go to Wikipedia and fix the snippet, or Next! to see another one. Good luck!
In page Abstract machine:
"Predicate calculus (first order logic) is the foundation of logic programming languages. The most well-known logic programming language is Prolog.[citation needed] 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 WAM (1983),[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).[2]
You can customize Citation Hunt by providing a list of articles. This gives you a link that you can share with others so they browse Citation Hunt limited to the articles you provided.
How would you like to create a custom Citation Hunt?
Use the search box below to find and add articles to your custom Citation Hunt. You can remove an article by clicking it in the preview below.
Please enter Wikipedia article titles to import, one per line, in the area below:
PetScan is a tool for querying Wikipedia and defining lists of articles. PetScan assigns IDs to queries so their results can be imported into other tools.
Please create your query in PetScan and paste its ID below:
Pagepile is a tool for defining lists of Wikipedia articles. Pagepile assigns IDs to lists so their results can be imported into other tools.
Please create your list in Pagepile and paste its ID below:
Please wait, your custom Citation Hunt is being computed. This may take a few minutes…
You can press Back or close this dialog to cancel.
Your custom Citation Hunt has been created!
You can copy and share the link above to allow other people to use it, or start browsing it now!
Sorry, your custom Citation Hunt failed to be created or came up empty!
Please try again and keep the following tips in mind: