PDC prolog : REFERENCE GUIDE VERSION 3.20 (Prolog Development Center, 1986)