&-Prolog Evolution of

Parallel logic language

&ACE 1 Extension of
1
CIAO 1 Evolution of
1
O'Ciao 1 Extension of
1