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.
Try this search on Wikipedia, OneLook, Google
Nearby terms: EDIF « EDIFACT « Edinburgh Multi Access System « Edinburgh Prolog » Edinburgh SML » Edison » edit