GNU Prolog - это свободный компилятор для языка программирования Prolog. Главные изменения новой версии: Флаг strict_iso включен по умолчанию (был выключен в предыдущих версиях).Если флаг strict_iso prolog выключен, то термы типа callable_term больше нельзя использовать вместо predicate_indicator.Предикат predicate_property/2 больше не принимает predicate_indicator в качестве первого аргумента. Предоставлен предикат '$predicate_property_pi'/2 реализующий прежнее поведение predicate_property/2.predicate_property теперь может получать информацию об управляющих конструкциях (таких как (',')/2, (;)/2, !/0,...). Им соответствуют свойства: built_in, control_construct. Добавлена поддержка shebang синтаксиса для запуска программ. ( #!/usr/bin/gprolog --consult-file). Реализована ISO директива multifile/1 А так же теперь GNU Prolog выходит под двойной лицензией GPL или LGPL, портирован на x86_64/MinGW и x86_64/MSVC, сделано много небольших изменений и багфиксов.