Prolog Programming for Artificial Intelligence

By Ivan Bratko. 1986

Subfields: Program Analysis & Verification

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Program Analysis & Verification

1. R. Mike Cameron-Jones
2. Yang Yu
3. J. Ross Quinlan
4. Qiu-Ling Xu
5. Zhi-Hua Zhou
6. Wang-Zhou Dai

Citations in the corpus

• Programmable Agents (2017, background): “Paradigmatic examples of declarative languages are PROLOG [6, 5] and SQL.”
• Tunneling Neural Perception and Logic Reasoning through Abductive Learning (2018, methodology): “One of the most widely used logic programming language is Prolog [4], which is designed based on first-order logic.”
• Learning logical definitions from relations (1990, background): “For a more complete discussion of the meaning of negated literals in Prolog, see Bratko (1986) .”
• FOIL: A Midterm Report (1993, methodology): “As a step towards a more pragmatic evaluation, we started with Ivan Bratko's well-known text Prolog Programming for Artiicial Intelligence Bratko, 1986].”