The Free On-line Dictionary of Computing (19 January 2023):
Edinburgh Prolog Prolog dialect which eventually developed into the standard, as opposed to Marseille Prolog. (The difference is largely syntax.) Clocksin & Mellish describe Edinburgh Prolog. Version: C-Prolog. (1995-03-10)