Anzeige
Erschienen in:
2012 | OriginalPaper | Buchkapitel
11. First-Order Logic: Logic Programming
verfasst von : Prof. Mordechai Ben-Ari
Erschienen in: Mathematical Logic for Computer Science
Verlag: Springer London
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
Abstract
Resolution was originally developed as a method for automatic theorem proving. Later, it was discovered that a restricted form of resolution can be used for programming a computation. This approach is called logic programming. A program is expressed as a set of clauses and a query is expressed as an additional clause that can clash with one or more of the program clauses. The query is assumed to be the negation of result of the program. If a refutation succeeds, the query is not a logical consequence of the program, so its negation must be a logical consequence. Unifications done during the refutation provide answers to the query in addition to the simple fact that the negation of the query is true.