🚀 go-pugleaf

In article <1992Sep10.032600.8565@athena.cs.uga.edu>, mcovingt@athena.cs.uga.edu
(Michael A. Covington) writes:
|> PDC Prolog (formerly Turbo Prolog) is not Prolog; it is a different
|> Prolog-like language, with strong typing rather than Prolog's typeless
|> approach to variables.

I certainly agree with M. Covington that Turbo Prolog is not Prolog.

However, I don't think this is because TP has "strong typing".

Other logic programming languages DO have types.
As an example, lambda-Prolog is a typed language: the unification of lambda-terms,
upon which lambda-Prolog is based, is only practicable (in fact semi-decidable)
on TYPED lambda-terms.
However, lambda-Prolog shares many features with Prolog and can be considered as a
"brother" of Prolog.


The difference between Turbo Prolog and standard Prolog must be elsewhere.

I think people more familiar with Turbo Prolog than myself could enlighten
this point.