PDC prolog : BGI BINDINGS (Prolog Development Center, 1986)