Некоторые ключевые отличия между традиционными и современными прологами:

• Синтаксис целочисленной арифметики. 1 Традиционно в прологе для неё использовались операторы is и =:=. 1 Современные прологи предлагают более чистую альтернативу — CLP(FD) (Constraint Logic Programming over Finite Domains). 1 Он основан на сохранении ограничений, которые применяются к целочисленному значению, и их объединении в памяти. 1
• Синтаксис циклов. 1 В классических учебниках пролога используется запутанный и подверженный ошибкам синтаксис цикла, основанный на отказе. 1 Большинство современных прологов больше не требуют этого синтаксиса, вместо этого обеспечивая предикат более высокого порядка для решения этой проблемы. 1
• Модули. 3 Традиционно в прологе используется одно «плоское» пространство имён. 3 Современные реализации позволяют упрятывать локальные предикаты. 3