PDC prolog : USER'S GUIDE (Prolog Development Center, 1986)