HiLog

HiLog был впервые описан в 1989 году^[2]. Позднее язык был расширен в сторону многосортной логики^[3].

Система XSB может анализировать синтаксис HiLog, однако интеграция HiLog в XSB реализована лишь частично — в частности, HiLog не поддерживает модульную систему XSB. Полная реализация HiLog доступна в системе Flora-2.

Показано, что HiLog допускает вложение в логику первого порядка простым преобразованием^[1]. Например, выражение p(X)(Y,Z(V)(W)) преобразуется во вложенный терм первого порядка apply(p(X),Y,apply(apply(Z,V),W))^[1].

Каркас логико-ориентированных диалектов (RIF-FLD) в рамках Формата обмена правилами (Rule Interchange Format) в значительной степени базируется на идеях, заложенных в HiLog и F-логике^[4].

Во всех примерах ниже символы с прописной буквы обозначают переменные, а запятая соответствует логической конъюнкции, как и в большинстве языков логического программирования. Первые два примера показывают, что переменные могут появляться в позиции предиката. Предикаты могут быть даже сложными термами, такими как closure(P) или maplist(F) ниже. Третий пример демонстрирует, что переменные могут использоваться вместо атомарных формул, четвертый — применение переменных на месте функциональных символов. Первый пример определяет оператор универсального транзитивного замыкания, который можно применить к любому бинарному предикату. Второй пример аналогичен — он вводит оператор отображения, подобный LISP, применимый к произвольному бинарному предикату. Третий пример показывает, что метапредикат Prolog call/1 можно выразить в HiLog естественным образом, без использования внелогических средств. Последний пример определяет предикат для обхода произвольных двоичных деревьев, представленных как термы первого порядка.

closure(P)(X,Y) <- P(X,Y).
closure(P)(X,Y) <- P(X,Z), closure(P)(Z,Y).

maplist(F)([],[]).
maplist(F)([X|R],[Y|Z]) <- F(X,Y), maplist(F)(R,Z).

call(X) <- X.

traverse(X(L,R)) <- traverse(L), traverse(R).