A full Edinburgh standard Prolog with debugger, listener, DCG, many built-ins, text windows, support for modules, and support for both 16-bit and 32-bit protected mode.
Contact: Dennis C. Merritt.
Computing Dictionary