Turbo Prolog. Reference quide : Version 2.0 (Borland International, 1988)