Last steps towards an ultimate Prolog

Authors:
A. Colmerauer;H. Kanoui;M. Van Caneghem
Affiliations:
Faculte des Sciences de Luminy, Universite d'Aix-Marseille II, Marseille Cedex 9, France;Faculte des Sciences de Luminy, Universite d'Aix-Marseille II, Marseille Cedex 9, France;Faculte des Sciences de Luminy, Universite d'Aix-Marseille II, Marseille Cedex 9, France
Venue:
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 2
Year:
1981

Citing 4
Cited 2

The Semantics of Predicate Logic as a Programming Language

Journal of the ACM (JACM)
Logic for Problem Solving

Logic for Problem Solving
Metamorphosis Grammars

Natural Language Communication with Computers
The prolog phenomenon

ACM SIGART Bulletin

Abstract interpretation of resolution-based semantics

Theoretical Computer Science
Constraints as control

POPL '12 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Quantified Score

Hi-index	0.00

Visualization

Abstract

A portable version of Prolog, an Artificial Intelligence language, is presented. A complete system has been implemented on a micro-computer using a floppy-disk virtual memory. The general methodology of the implementation is discussed in terms of an abstract machine (Micromegas) supporting a language (Candide) in which the Prolog system is written.