beroal (beroal) wrote in ru_declarative,
beroal
beroal
ru_declarative

предикаты высшего порядка и унификация

Я слышал, что в некоторых версиях Пролога можно определять предикаты высшего порядка. Я так понимаю, что предикат высшего порядка — это предикат, который оперирует предикатами. Это значит, что надо реализовать унификацию предикатов. Мне кажется, для этого нужно решить проблему останова. ☺

Я знаю один яп (Oz), включающий Пролог, в котором предикаты унифицируются iff их адреса равны, и такая унификация не считается ошибкой. (Например, в Прологе выполнение арифметической операции на несвязанных (not instantiated) переменных является ошибкой.) Как эта проблема решена в других Прологах?
Tags: implementation, prolog, semantics
Subscribe
  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 4 comments