PDC prolog : TOOLBOX (Prolog Development Center, 1986)