Edinburgh Prolog

A Prolog dialect which eventually developed into the standard, as opposed to Marseille Prolog. The difference is largely syntax.

Programming in Prolog, William F. Clocksin & C. S. Mellish, Springer-Verlag, 1994.

C-Prolog.