Borland Turbo Prolog