Среди нескольких диалектов Prolog наиболее широкое распространение
получил так называемый эдинбургский диалект (Edinburgh Prolog),
известный также как DEC-10; этот же диалект стал основой стандарта ISO Prolog. Нет никакого реального стандарта для Edinburgh Prolog, но он является стандартом де-факто.