Prolog-II Extension of

2nd generation of the logic programming language

&-Prolog 1 Augmentation of
1
ACE 1 Evolution of
1
&ACE 1 Extension of
1
CIAO 1 Evolution of
1
O'Ciao 1 Extension of
1