Prolog Dialect of

CS-Prolog 1 Based on
1
CS-Prolog II 1 Evolution of
1