1987 | OriginalPaper | Buchkapitel
The Relation of Prolog to Logic
verfasst von : William F. Clocksin, Christopher S. Mellish
Erschienen in: Programming in Prolog
Verlag: Springer Berlin Heidelberg
Enthalten in: Professional Book Archive
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
The programming language Prolog was invented by Alain Colmerauer and his associates around 1970. It was a first attempt at the design of a practical programming language that would enable a programmer to specify his tasks in logic, instead of in terms of conventional programming constructs about what the machine should do when. This motivation explains the name of the programming language, for “Prolog” stands for Programming in Logic.