Skip to main content

2003 | OriginalPaper | Buchkapitel

The Relation of Prolog to Logic

verfasst von : Prof. William F. Clocksin, Dr. Christopher S. Mellish

Erschienen in: Programming in Prolog

Verlag: Springer Berlin Heidelberg

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

The programming language Prolog was invented by Alain Colmerauer and his associates around 1970. It was the first attempt at the design of a practical programming language that would enable a programmer to specify 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 language, for “Prolog” means Programming in Logic.

Metadaten
Titel
The Relation of Prolog to Logic
verfasst von
Prof. William F. Clocksin
Dr. Christopher S. Mellish
Copyright-Jahr
2003
Verlag
Springer Berlin Heidelberg
DOI
https://doi.org/10.1007/978-3-642-55481-0_10