PDC prolog : TOOLS (Prolog Development Center, 1986)