Turbo prolog toolbox : user's guide and reference manual (Borland International, 1987)