Text this: Turbo Prolog. Reference quide :