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, сделано много небольших изменений и багфиксов.
>>> Подробности
