Marseille Prolog Based on

CS-Prolog II 1 Evolution of
1