Prolog (Programming in Logic ) ist eine Programmiersprache, die in Frankreich für den Einsatz in natürlicher Sprache Übersetzung entwickelt wurde. Natürliche Sprache ist das, was Programmierer Sprachen wie Französisch und Deutsch nennen . Prolog wurde durch Informatiker in Schottland für den Einsatz als automatischer Beweiser , die Theoreme der Mathematik und Logik beweist verfeinert. Die Japaner wählten Prolog in Artificial Intelligence (AI) -Projekten verwenden. Diese internationale Sprache ist erstaunlich flexibel . Anleitung
1
Nutzungsbedingungen Prolog wie es beabsichtigt ist, verwendet werden. Sprachen wie Ruby und C + + sagen dem Computer, was zu tun ist . Programming in Prolog besteht aus der Erstellung einer Datenbank von Fakten und Regeln , die einige Diskursuniversum beschreibt . Der Benutzer legt dann eine Frage und Prolog beantwortet die Frage auf die Fakten und Regeln in der Datenbank. Diese Frage -und Antwort- Verfahren ist sehr flexibel. Zum Beispiel kann die Frage ein mathematisches Theorem und die Antwort sagt , ob es wahr oder falsch ist , oder die Frage, kann ein Begriff in der japanischen sein und die Antwort ist die Übersetzung in Französisch.
2
Infos die Struktur der Horn-Klauseln - das ist der Schlüssel zu repräsentieren Fakten und Regeln in der Datenbank eines Prolog "-Programm. " Ein Horn -Klausel Darstellung einer Tatsache sei lediglich eine Feststellung der Tatsache, gefolgt von einem Punkt . Die Horn -Klausel Darstellung einer Regel ist eine Schlussfolgerung , gefolgt von der " - " . Symbol, von einer Reihe von Bedingungen , gefolgt von einem Punkt gefolgt
Die Tatsache, dass der Himmel blau ist könnte in Prolog geschrieben werden wie "Blue ( Himmel) . " Die Regel, dass der Himmel blau ist, wenn es nicht regnet und tagsüber ist " Blau ( Himmel ): - . Time ( Tag) , Regensensor (nicht ) "
Der Prolog " Programm " besteht aus einer Datenbank mit Fakten und Regeln. Wenn du tust, Sprachverarbeitung , wird dies die Wort-Definitionen und Grammatikregeln sein . Wenn Sie ein logisches oder mathematisches System , wird das "Programm" die Axiome des Systems sein .
3
Arbeit durch mehrere Beispiele Prolog . Pretend Sie sind der Computer und es ist eine einfache Datenbank , dann nehmen Sie eine Frage und gehen Sie durch die Schritte, die Prolog würde durchlaufen, um die Frage zu beantworten . Es gibt keinen schnelleren Weg zum Verständnis Prolog und Lernen , ein guter Programmierer sein Prolog , nach Clocksin und Mellish , die wörtlich schrieb das Buch auf Prolog -Programmierung.
