PDC prolog : REFENENCE GUIDE VERSION 3.30 (Prolog Development Center, 1986)