I remember using Borland Turbo Prolog for MS-DOS. It was the bee's knees.