Prolog-II(ID:1012/pro041)
Prolog with dif and freeze
Country: fr
languages for fr
fr/1982
Began: 1982
Languages for 1982
1980s languages
Fourth generation
Late Cold War
Published: 1982
1982
Type:Horn clause
Horn clause
Sammet:SPC
SPC
SPC/1982
SPC/fr
2nd generation Prolog from Marseille
Prolog with two new predicates: 'dif' for coroutines and 'freeze' for delayed evaluation.
People:
Alain Colmerauer
Related languages
Marseille Prolog
=>
Prolog-II
Evolution of
Prolog-II
=>
Neuro-Prolog
Extension of
Prolog-II
=>
Objlog
Extension of
Prolog-II
=>
Prolog II+
Extension of
Prolog-II
=>
Prolog III
Evolution of
Prolog-II
=>
Prolog-II/MALI
Adaptation of
Prolog-II
=>
UL/alpha
Extension of
References:
Colmerauer, A. "Prolog II Reference Manual and Theoretical Model", Internal Report, GroupeIA, U Aix- Marseille (Oct 1982).
view details