Should be noted that Turbo Prolog is/was kind of a special thing on its own - unlike "regular" Prolog, TP is statically typed and has a more "rigid" form with

Should be noted that Turbo Prolog is/was kind of a special thing on its own - unlike "regular" Prolog, TP is statically typed and has a more "rigid" form with its explicit "domains" (basically type declarations), "predicates", "clauses", etc sections. It isn't a huge difference in practice (and you can declare multiple versions of predicates - sort of like overloaded functions) aside from having to declare upfront of what you intend to do, but writing Turbo Prolog's dialect does feel quite different from other dialects. AFAIK nowadays the compiler is still being developed as Visual Prolog.