Logikprogrammierung, ist in seinem weitesten Sinn, dem Gebrauch der mathematischen Logik für die Computerprogrammierung. In dieser Ansicht von der Logikprogrammierung, die mindestens schon zu Lebzeiten von die Kirche von Alonzo [1932] verfolgt werden kann, kann logische Schlussfolgerung in der Programmierung verwendet werden. Diese Ansicht wurde weiter von John McCarthy [1958] Vorschlag des Rat-Nehmers entwickelt, vorwärts das Anketten unter der Kontrolle von logischen Vorschlägen zu verwenden. Die Planer-Programmiersprache [hat 1969, 1971] das beides Vorwärtsanketten (angerufen durch Behauptungen) und rückwärts gerichtete Anketten (angerufen durch Absichten) verwendet.

Jedoch schränkt Kowalski Logikprogrammierung auf umgekehrt das Anketten in der Form ein:

::::

das behandelt die Implikationen als Verfahren der Absicht-Verminderung:

:::: um zu zeigen zu/lösen, zeigen Sie/lösen und … und.

Zum Beispiel behandelt es die Implikation:

:::: Das Laufwerk-Taxi wird alarmiert, wenn ein Warnungssignalknopf gedrückt wird.

weil ein Verfahren, dass von der Absicht "das Laufwerk-Taxi alarmiert wird", das Teilziel "ein Warnungssignalknopf erzeugt, wird gedrückt."

Bemerken Sie, dass das mit der BHK Interpretation der konstruktiven Logik im Einklang stehend ist, wo Implikation als eine Lösung des Problems gegeben Lösungen von … interpretiert würde.

Die Definieren-Eigenschaft der Logikprogrammierung ist, dass Sätze von Formeln als Programme betrachtet werden können und Probesuche eine rechenbetonte Bedeutung gegeben werden kann. In einigen Annäherungen wird die zu Grunde liegende Logik, z.B, Klauseln von Horn oder Erbliche Harrop Formeln eingeschränkt. Sieh D. Miller u. a. 1991.

Als im rein Aussagefall ist der Programmierer dafür verantwortlich, die Wahrheit von Programmen zu sichern. Aber da automatisierte Probesuche allgemein unausführbare Logikprogrammierung, wie allgemein verstanden, ist, auch verlässt sich auf den Programmierer, um sicherzustellen, dass Schlussfolgerungen effizient erzeugt werden (sieh problem lösen). In vielen Fällen, um Leistungsfähigkeit zu erreichen, muss man bewusst sein und das problemlösende Verhalten des Lehrsatzes-prover auszunutzen. In dieser Beziehung ist Logikprogrammierung mit der herkömmlichen befehlenden Programmierung vergleichbar; das Verwenden von Programmen, um das Verhalten eines Programm-Testamentsvollstreckers zu kontrollieren. Jedoch, verschieden von herkömmlichen befehlenden Programmen, die nur eine Verfahrensinterpretation haben, haben Logikprogramme auch eine logische Aussageinterpretation, die hilft, ihre Genauigkeit zu sichern. Außerdem sind solche Programme, Aussage-seiend, an einem höheren Begriffsniveau als rein befehlende Programme; und ihre Programm-Testamentsvollstrecker, Lehrsatz-provers seiend, funktionieren an einem höheren Begriffsniveau als herkömmliche Bearbeiter und Dolmetscher.

Geschichte

Die Logikprogrammierung im ersten und breiteren Sinn hat mehrere Durchführungen, wie diejenigen durch Fischer Schwarz (1964), James Slagle (1965) und Cordell Green (1969) verursacht, die auf Frage antwortende Systeme im Geist des Rat-Nehmers von McCarthy waren. Fördern Sie, und der Absys von Elcock (1969) war andererseits wahrscheinlich die erste als eine assertional Programmiersprache ausführlich zu entwickelnde Sprache.

Die Logikprogrammierung im schmaleren Sinn kann zurück zu Debatten gegen Ende der 1960er Jahre und Anfang der 1970er Jahre über die Prozedurvereinbarung gegen Verfahrensdarstellungen von Kenntnissen in der Künstlichen Intelligenz verfolgt werden. Verfechter von Aussagedarstellungen arbeiteten namentlich an Stanford, der mit John McCarthy, Bertram Raphael und Cordell Green, und in Edinburgh, mit J. Alan Robinson (ein akademischer Besucher von der Syracuse Universität), Pat Hayes und Robert Kowalski vereinigt ist. Verfechter von Verfahrensdarstellungen wurden an MIT, Unter Führung Marvin Minskys und Seymour Paperts hauptsächlich in den Mittelpunkt gestellt.

Obwohl es auf der Logik basiert hat, war Planer, der an MIT entwickelt ist, die erste Sprache, um innerhalb dieses proceduralist Paradigmas [Hewitt, 1969] zu erscheinen. Planer hat Muster-geleitete Beschwörung von Verfahrensplänen von Absichten (d. h. das Vorwärtsanketten) und von Behauptungen (d. h. rückwärts gerichtete Anketten) gezeigt. Die einflussreichste Durchführung des Planers war die Teilmenge des Planers, genannt Mikroplaner, der von Gerry Sussman, Eugene Charniak und Terry Winograd durchgeführt ist. Es wurde verwendet, um das Verstehen-Programm der natürlichen Sprache von Winograd SHRDLU durchzuführen, der ein Grenzstein damals war. Um mit den sehr beschränkten Speichersystemen zurzeit fertig zu werden, hat Planer eine denselben Weg zurückverfolgende Kontrollstruktur verwendet, so dass nur ein möglicher Berechnungspfad auf einmal versorgt werden musste. Planer hat die Programmiersprachen QA-4, Popler, Conniver, QLISP und der gleichzeitige Sprachäther verursacht.

Hayes und Kowalski in Edinburgh haben versucht, die logikbasierte Aussageannäherung an die Kenntnisse-Darstellung mit der Verfahrensannäherung des Planers beizulegen. Hayes (1973) hat eine equational Sprache, Golux entwickelt, in dem verschiedene Verfahren durch das Ändern des Verhaltens des Lehrsatzes prover erhalten werden konnten. Kowalski hat andererseits gezeigt, wie SL-Entschlossenheit Implikationen als Verfahren der Absicht-Verminderung behandelt. Kowalski hat mit Colmerauer in Marseille zusammengearbeitet, der diese Ideen im Design und der Durchführung der Programmiersprache-Einleitung entwickelt hat. Einleitung hat die Programmiersprachen ALF, Fril, Gödel, Quecksilber, Unze, Ciao, Seheinleitung, XSB, und λProlog, sowie eine Vielfalt von gleichzeitigen Logikprogrammiersprachen verursacht (sieh Shapiro (1989) für einen Überblick), Einschränkungslogikprogrammiersprachen und datalog.

1997, die Vereinigung der Logikprogrammierung, die fünfzehn anerkannten Forschern in der Logik geschenkt ist, die Titelgründer der Logikprogrammierung programmierend, um sie als Pioniere im Feld anzuerkennen:

1. Maurice Bruynooghe (Belgien)
2. Jacques Cohen (die Vereinigten Staaten)
3. Alain Colmerauer (Frankreich)
4. Keith Clark (das Vereinigte Königreich)
5. Veronica Dahl (Kanada/Argentinien)
6. Maarten van Emden (Kanada)
7. Herve Gallaire (Frankreich)
8. Robert Kowalski (das Vereinigte Königreich)
9. Jack Minker (die Vereinigten Staaten)
10. Fernando Pereira (die Vereinigten Staaten)
11. Luis Moniz Pereira (Portugal)
12. Ray Reiter (Kanada)
13. J. Alan Robinson (die Vereinigten Staaten)
14. Peter Szeredi (Ungarn)
15. David H. D. Warren (das Vereinigte Königreich)

Einleitung

Die Programmiersprache-Einleitung wurde 1972 von Alain Colmerauer entwickelt. Es ist aus einer Kollaboration zwischen Colmerauer in Marseille und Robert Kowalski in Edinburgh erschienen. Colmerauer arbeitete am Verstehen der natürlichen Sprache, das Verwenden der Logik, um Semantik und das Verwenden der Entschlossenheit für das Frage-Antworten zu vertreten. Während des Sommers 1971 haben Colmerauer und Kowalski entdeckt, dass die Clausal-Form der Logik verwendet werden konnte, um formelle Grammatiken zu vertreten, und dass Entschlossenheitslehrsatz provers für die Syntaxanalyse verwendet werden konnte. Sie haben bemerkt, dass sich ein Lehrsatz provers, wie Hyperentschlossenheit, so von unten nach oben parsers und andere wie SL-Beschluss (1971) benimmt, sich benimmt wie verfeinernder parsers.

Es war im folgenden Sommer 1972, dass Kowalski, wieder mit Colmerauer arbeitend, die Verfahrensinterpretation von Implikationen entwickelt hat. Diese Prozedurvereinbarung/verfahrensrechtliche Doppelinterpretation ist später formalisiert in der Einleitungsnotation geworden

:

der gelesen (und verwendet werden kann), sowohl Aussage-als auch verfahrensrechtlich. Es ist auch klar geworden, dass solche Klauseln auf bestimmte Klauseln oder Klauseln von Horn eingeschränkt werden konnten, wo, …, alle Atomprädikat-Logikformeln sind, und diese SL-Entschlossenheit eingeschränkt (und verallgemeinert werden konnte) zum ÜPPIGEN oder der SLD-Entschlossenheit. Die Verfahrensinterpretation von Kowalski und ÜPPIG wurde in einem 1973-Merkzettel, veröffentlicht 1974 beschrieben.

Colmerauer, mit Philippe Roussel, hat diese Doppelinterpretation von Klauseln als die Basis der Einleitung verwendet, die im Sommer und Herbst 1972 durchgeführt wurde. Das erste Einleitungsprogramm, auch geschrieben 1972 und durchgeführt in Marseille, war ein französisches auf Frage antwortendes System. Der Gebrauch der Einleitung als eine praktische Programmiersprache wurde großer Schwung durch die Entwicklung eines Bearbeiters von David Warren in Edinburgh 1977 gegeben. Experimente haben demonstriert, dass sich Edinburgher Einleitung mit der in einer Prozession gehenden Geschwindigkeit anderer symbolischer Programmiersprachen wie Lispeln bewerben konnte. Edinburgher Einleitung ist der De-Facto-Standard geworden und hat stark die Definition der ISO Standardeinleitung beeinflusst.

Ablehnung als Misserfolg

Mikroplaner hatte eine Konstruktion, genannt "thnot", der, wenn angewandt, auf einen Ausdruck den wahren Wert zurückgibt, wenn (und nur wenn) die Einschätzung des Ausdrucks scheitert. Ein gleichwertiger Maschinenbediener ist normalerweise in den Durchführungen der modernen Einleitung eingebaut und ist "Ablehnung als Misserfolg" genannt worden. Es wird normalerweise als nicht (p) geschrieben, wo p ein Atom ist, dessen Variablen normalerweise realisiert worden sind, zu dieser Zeit wird nicht (p) angerufen. Ein rätselhafterer (aber Standard) Syntax ist \+ p. Die Ablehnung als Misserfolg-Druckfehler kann als Bedingungen nicht (B) im Körper von Programm-Klauseln vorkommen.

Der logische Status der Ablehnung als Misserfolg war ungelöst, bis Keith Clark [1978] gezeigt hat, dass, unter bestimmten natürlichen Bedingungen, es ein richtiger ist (und vollenden Sie manchmal) die Durchführung der klassischen Ablehnung in Bezug auf die Vollziehung des Programms. Vollziehung beläuft sich grob auf die Bewertung des Satzes aller Programm-Klauseln mit demselben Prädikat linker Hand Seite, sagen Sie

:::

als eine Definition des Prädikats

:

wo "iff" "wenn und nur wenn" bedeutet. Das Schreiben der Vollziehung verlangt auch ausführlichen Gebrauch des Gleichheitsprädikats und die Einschließung von einer Reihe passender Axiome für die Gleichheit. Jedoch braucht die Durchführung der Ablehnung durch den Misserfolg nur die Wenn-Hälften der Definitionen ohne die Axiome der Gleichheit.

Der Begriff der Vollziehung ist nah mit der Umschreibungssemantik von McCarthy für das Verzug-Denken, und zur geschlossenen Weltannahme verbunden.

Als eine Alternative zur Vollziehungssemantik Ablehnung weil kann Misserfolg auch epistemically, als in der stabilen Mustersemantik der Antwort-Satz-Programmierung interpretiert werden. In dieser Interpretation bedeutet nicht (B) wörtlich, dass B nicht bekannt oder nicht geglaubt ist. Die epistemic Interpretation hat den Vorteil, dass es sehr einfach mit der klassischen Ablehnung, als in der "verlängerten Logikprogrammierung verbunden werden kann", solche Ausdrücke wie "das Gegenteil kann zu formalisieren, nicht gezeigt werden", wo "Gegenteil" klassische Ablehnung ist, und "nicht gezeigt werden kann", ist die epistemic Interpretation der Ablehnung als Misserfolg.

Das Problem-Lösen

Im vereinfachten Satzfall, in dem ein Logikprogramm und eine Atomabsicht auf höchster Ebene keine Variablen enthalten, bestimmt rückwärts gerichtetes Denken und - oder Baum, der den Suchraum einsetzt, für die Absicht zu lösen. Die Absicht auf höchster Ebene ist die Wurzel des Baums. In Anbetracht jedes Knotens im Baum und jeder Klausel, deren Kopf den Knoten vergleicht, dort besteht eine Reihe von Kinderknoten entsprechend den Teilzielen im Körper der Klausel. Diese Kinderknoten werden zusammen durch gruppiert "und". Die alternativen Sätze von Kindern entsprechend alternativen Weisen, den Knoten zu lösen, werden zusammen durch gruppiert "oder".

Jede Suchstrategie kann verwendet werden, um diesen Raum zu suchen. Einleitung verwendet einen folgenden, in umgekehrter Reihenfolge, denselben Weg zurückverfolgende Strategie, in der nur eine Alternative und ein Teilziel auf einmal betrachtet werden. Andere Suchstrategien, wie parallele Suche, das intelligente Zurückverfolgen, oder am besten die erste Suche, um eine optimale Lösung zu finden, sind auch möglich.

Im allgemeineren Fall, wo Teilziele Variablen teilen, können andere Strategien, wie Auswahl des Teilziels verwendet werden, das am höchsten realisiert wird oder das genug realisiert wird, so dass nur ein Verfahren gilt. Solche Strategien werden zum Beispiel in der gleichzeitigen Logikprogrammierung verwendet.

Die Tatsache, dass es alternative Weisen gibt, ein Logikprogramm durchzuführen, ist durch die Gleichung charakterisiert worden:

Algorithmus = Logik + kontrolliert

wo "Logik" ein Logikprogramm vertritt und "Kontrolle" verschiedene Lehrsatz beweisende Strategien vertritt.

Kenntnisse-Darstellung

Die Tatsache, dass Klauseln von Horn eine Verfahrensinterpretation und umgekehrt gegeben werden können, dass Verfahren der Absicht-Verminderung als Klauseln von Horn + rückwärts das Denken der Mittel verstanden werden können, dass Logikprogramme Aussage- und Verfahrensdarstellungen von Kenntnissen verbinden. Die Einschließung der Ablehnung als Misserfolg bedeutet, dass Logikprogrammierung eine Art nichtmonotonische Logik ist.

Trotz seiner Einfachheit im Vergleich zur klassischen Logik, dieser Kombination von Klauseln von Horn und Ablehnung weil hat sich Misserfolg erwiesen, überraschend ausdrucksvoll zu sein. Zum Beispiel, wie man gezeigt hat, hat es mit einigen weiteren Erweiterungen ganz natürlich in die halbformelle Sprache der Gesetzgebung entsprochen. Es ist auch eine natürliche Sprache, um Gesetze des gesunden Menschenverstands der Ursache und Wirkung, als in der Situationsrechnung und Ereignis-Rechnung auszudrücken.

Logikprogrammierung von Abductive

Abductive Logikprogrammierung ist eine Erweiterung der normalen Logik Programmierend, der einige Prädikate, erklärt als abducible Prädikate erlaubt, um unvollständig definiert zu werden. Das Problem-Lösen wird durch das Abstammen von Hypothesen erreicht, die in Bezug auf die abducible Prädikate als Lösungen von Problemen ausgedrückt sind, gelöst zu werden. Diese Probleme können irgendein Beobachtungen sein, die (als in klassischem abductive das Denken) oder Absichten erklärt werden müssen (als in der normalen Logikprogrammierung) erreicht zu werden. Es ist verwendet worden, um Probleme in Diagnose, Planung, Natürlicher Sprache und dem Maschinenlernen zu beheben. Es ist auch verwendet worden, um Ablehnung als Misserfolg als eine Form des Abductive-Denkens zu interpretieren.

Programmierung von Metalogic

Weil mathematische Logik eine lange Tradition des Unterscheidens zwischen Gegenstand-Sprache und Metasprache hat, erlaubt Logikprogrammierung auch Metalevel-Programmierung. Das einfachste metalogic Programm ist der so genannte "Vanille"-Meta-Dolmetscher:

lösen Sie (wahr).

lösen Sie ((A, B)) lösen:-(A), lösen (B).

lösen Sie (A):-Klausel (A, B), lösen Sie (B).

wo wahr, vertritt eine leere Verbindung und Klausel (A, B) Mittel dort ist eine Klausel des Gegenstand-Niveaus der Form Ein:-B.

Programmierung von Metalogic erlaubt Gegenstand-Niveau und metalevel Darstellungen, als auf natürlicher Sprache verbunden zu werden. Es kann auch verwendet werden, um jede Logik durchzuführen, die mittels Interferenzregeln angegeben wird.

Einschränkungslogikprogrammierung

Einschränkungslogikprogrammierung ist eine Erweiterung der normalen Logik Programmierend, der einige Prädikate, erklärt als Einschränkungsprädikate erlaubt, um als Druckfehler im Körper von Klauseln vorzukommen. Diese Druckfehler werden durch Verwenden-Programm-Klauseln der Absicht-Verminderung nicht gelöst, aber werden zu einem Laden von Einschränkungen hinzugefügt, der erforderlich ist, mit einer eingebauten Semantik der Einschränkungsprädikate im Einklang stehend zu sein.

Das Problem-Lösen wird durch das Reduzieren des anfänglichen Problems auf einen satisfiable Satz von Einschränkungen erreicht. Einschränkungslogikprogrammierung ist verwendet worden, um Probleme in solchen Feldern wie Hoch- und Tiefbau zu beheben, Maschinenbau, Digitalstromkreis-Überprüfung, hat timetabling, Flugsicherung und Finanz automatisiert. Es ist nah mit der abductive Logikprogrammierung verbunden.

Gleichzeitige Logikprogrammierung

Keith Clark, Steve Gregory, Vijay Saraswat, Udi Shapiro, Kazunori Ueda, hat usw. eine Familie der einer Einleitung ähnlichen gleichzeitigen Nachricht vorübergehende Systeme mit der Vereinigung von geteilten Variablen und Datenstruktur-Strömen für Nachrichten entwickelt. Anstrengungen wurden gemacht, diese Systeme auf der mathematischen Logik zu stützen, und sie wurden als die Basis des japanischen Fünften Generationsprojektes (ICOT) verwendet. Jedoch haben die einer Einleitung ähnlichen gleichzeitigen Systeme auf dem Nachrichtenübergang basiert und waren folglich derselben Unbegrenztheit wie andere gleichzeitige nachrichtenpassierende Systeme wie Schauspieler unterworfen (sieh Unbegrenztheit in der gleichzeitigen Berechnung). Folglich haben die ICOT Sprachen auf der Logik im Sinn nicht basiert, dass rechenbetonte Schritte [Hewitt und Agha, 1988] nicht logisch abgeleitet werden konnten.

Gleichzeitige Einschränkungslogik programmierende Vereinigungen gleichzeitige Logikprogrammier- und Einschränkungslogikprogrammierung, mit Einschränkungen, um Parallelität zu kontrollieren. Eine Klausel kann einen Wächter enthalten, der eine Reihe von Einschränkungen ist, die die Anwendbarkeit der Klausel blockieren können. Wenn die Wächter von mehreren Klauseln zufrieden sind, macht gleichzeitige Einschränkungslogikprogrammierung eine begangene Wahl zum Gebrauch von nur einem.

Induktive Logikprogrammierung

Induktive Logikprogrammierung ist mit verallgemeinernden positiven und negativen Beispielen im Zusammenhang von Hintergrundkenntnissen beschäftigt. Generalisationen, sowie die Beispiele und Hintergrundkenntnisse, werden in der Logikprogrammiersyntax ausgedrückt. Die neue Arbeit in diesem Gebiet, Logikprogrammierung verbindend, erfahrend, und Wahrscheinlichkeit, hat das neue Feld des statistischen Verwandtschaftslernens und der probabilistic induktiven Logikprogrammierung verursacht.

Höherwertige Logikprogrammierung

Mehrere Forscher haben sich ausgestreckt die Logikprogrammierung mit höherwertigen Programmiereigenschaften ist auf höherwertige Logik wie Prädikat-Variablen zurückzuführen gewesen. Solche Sprachen schließen die Einleitungserweiterungen HiLog und λProlog ein.

Geradlinige Logikprogrammierung

Das Gründen der Logikprogrammierung innerhalb der geradlinigen Logik ist auf das Design von Logikprogrammiersprachen hinausgelaufen, die beträchtlich ausdrucksvoller sind als diejenigen, die auf der klassischen Logik gestützt sind. Hornklausel-Programme können nur Zustandsänderung durch die Änderung in Argumenten für Prädikate vertreten. In der geradlinigen Logikprogrammierung kann man die umgebende geradlinige Logik verwenden, um Zustandsänderung zu unterstützen. Einige frühe Designs von auf der geradlinigen Logik gestützten Logikprogrammiersprachen schließen LO [Andreoli & Pareschi, 1991], Lolli [Hodas & Miller, 1994], ACL [Kobayashi & Yonezawa, 1994], und Forum [Miller, 1996] ein. Forum stellt eine Absicht-geleitete Interpretation von der ganzen geradlinigen Logik zur Verfügung.

Siehe auch

• Problem von Boolean satisfiability
• Einschränkungslogik, die programmiert
• Datalog
• Funktionelle Programmierung
• Induktive Logik, programmierend
• Fuzzy-Logik
• Die Logik in der Informatik (schließt Formelle Methoden ein)
• Programmierung des Paradigmas
• R ++
• Satisfiability

Allgemeine Einführungen

• Chitta Baral und Michael Gelfond. Logikprogrammierung und Kenntnisse-Darstellungszeitschrift der Logikprogrammierung. 1994, Vol. 19, 73-148.
• Robert Kowalski. Die Frühen Jahre der Logik, CACM Programmierend. Januar 1988.
• J. W. Lloyd. Fundamente der Logikprogrammierung (2. Ausgabe). Springer-Verlag 1987.

Andere Quellen

• Schwarzer Fischer. Ein deduktives antwortendes Frage-System Universität von Harvard. These. 1964.
• J.M. Foster und E.W. Elcock. ABSYS 1: Ein Zusätzlicher Bearbeiter für Behauptungen: eine Einführung, Maschinenintelligenz 4, Edinburgh U Presse, 1969, Seiten 423-429
• Cordell Green. Anwendung des Lehrsatzes, der Sich zum Problem Erweist, IJCAI 1969 Lösend.
• Pat Hayes. Berechnung und Abzug. In Verhandlungen des 2. MFCS Symposiums. Tschechoslowakische Akademie von Wissenschaften, 1973, Seiten 105-118.
• Carl Hewitt. Planer: Eine Sprache für den Beweis von Lehrsätzen in Robotern IJCAI 1969.
• Joshua Hodas und Dale Miller. Logikprogrammierung in einem Bruchstück der Intuitionistic Geradlinigen Logik, Information und Berechnung, 1994, 110 (2), 327-365.
• Naoki Kobayashi und Akinori Yonezawa. Asynchrones Nachrichtenmodell, das auf der geradlinigen Logik, den Formellen Aspekten der Computerwissenschaft, 1994, 279-294 gestützt ist.
• Robert Kowalski und Donald und Kuehner, Geradlinige Entschlossenheit mit der Künstlichen Auswahl-Funktionsintelligenz, Vol. 2, 1971, Seiten 227-60.
• Prädikat-Logik von Robert Kowalski als ein Programmiersprache-Merkzettel 70, Abteilung der Künstlichen Intelligenz, Edinburgher Universität. 1973. Auch in Verhandlungen IFIP Kongress, Stockholm, North Holland Publishing Co., 1974, Seiten 569-574.
• John McCarthy. Programme mit dem Symposium des gesunden Menschenverstands auf der Mechanisierung von Gedanke-Prozessen. Nationales Physisches Laboratorium. Teddington, England. 1958.
• D. Müller, G. Nadathur, F. Pfennig, A. Scedrov. Gleichförmige Beweise als ein Fundament für die Logikprogrammierung, Annalen der Reinen und Angewandten Logik, vol. 51, Seiten 125-157, 1991.
• Ehud Shapiro (Redakteur). Gleichzeitige Einleitung MIT Presse. 1987.
• Ehud Shapiro. Die Familie von gleichzeitigen Logikprogrammiersprachen ACM Rechenüberblicke. September 1989.
• James Slagle. Experimente mit einem Deduktiven Auf Frage antwortenden Programm CACM. Dezember 1965.
• Shunichi Uchida und Kazuhiro Fuchi Proceedings vom FGCS-Projekteinschätzungswerkstatt-Institut für die Neue Generationscomputertechnologie (ICOT). 1992.

Weiterführende Literatur

• Carl Hewitt. Das Verfahrenseinbetten von Kenntnissen im Planer IJCAI 1971.
• Carl Hewitt. Die wiederholte Besitzübertragung der Logikprogrammierung, und warum es reinkarniert wird, Was Schief gegangen ist und Warum: Lehren von der AI Forschung und den Anwendungen. Technischer Bericht SS-06-08. AAAI Presse. März 2006.
• Evgeny Dantsin, Thomas Eiter, Georg Gottlob, Andrei Voronkov: Kompliziertheit und ausdrucksvolle Macht der Logikprogrammierung. ACM Comput. Surv. 33 (3): 374-425 (2001)
• Ulf Nilsson und Jan Maluszynski, Logik, Programmierung und Einleitung

Links

• Logik, Virtuellen Bibliothekszugang Programmierend
• Bibliografien auf der Logik, programmierend
• Vereinigung für die Logikprogrammierung (ALPE)
• Theorie und Praxis der Logikprogrammierzeitschrift
• Logikprogrammierung in C ++ mit Castor
• Logikprogrammierung in Oz
• Einleitungsentwicklungszentrum