Обратный поиск в Прологе? (Как я нахожу все, что верно в отношении X?)

Question

Итак, допустим, у меня есть следующий в базе данных Пролога:

person(john). 
person(mary). 
happy(john). 

ясно, что если я хочу, чтобы перечислить все человек, я могу тип:

person(X). 

Но, если я хочу найти все, что касается Джона? Я не могу сделать:

X(john). 

Но эффект, который я хотел бы, чтобы быть в состоянии поставить в «Джон» и получить обратно «человек» и «счастливый».

Существует явно другой способ, которым я мог бы хранить свою информацию:

is(person, john). 
is(person, mary). 
is(happy, john). 

И потом, я могу сделать:

is(X, john). 

Но я теряю некоторую выразительность здесь. Я действительно хотел бы иметь возможность сделать что-то вроде:

X(john). 

Любые идеи?

Спасибо!

Answer 1

Параметрирование запрос по предикатам (как в поиске и FORALL; x над x(...)) не всегда возможно изначально в PROLOG, поскольку такого рода вещи является second- (or, higher)-order logic операции, в то время как PROLOG основан на логике первого порядка.

Есть, однако, описания того, как возможны реализации логических функций более высокого порядка в PROLOG, по крайней мере в ограниченной степени - существуют реальные возможности использования такой функциональности. См. The Art Of Prolog, Chapter 16 и Higher-order logic programming in Prolog by Lee Naish.

Answer 2

Хм, по моему опыту, это не типичный вариант использования Пролога. Если вы хотите перечислить все «факты» о Джоне, вам сначала нужно определить их как термины и закодировать их сущность. Затем вы можете использовать call/N и идти вниз по кроличьей норе еще на одну отметку (из памяти с помощью GNU Prolog):

relation(1,person). 
relation(2,married). 
person(john). 
married(john,mary). 

? relation(1,X), call(X,john). 

X = person 

| ?- relation(2,X),call(X,john,Y). 

X = married 
Y = mary 

Обратите внимание, что использование call имеет много интересных вопросов, и потенциал для ошибок во время выполнения.

Answer 3

Это приближение:

all_predicates(Term) :- 
    current_predicate(_, Pred), %% match Pred to any currently defined predicate 
    \+ predicate_property(Pred, built_in), %% filter out the built-in predicates 
    functor(Pred, Name, 1), %% check that Pred has 1 argument and match Name to its name 
    Goal =.. [Name, Term], %% construct the goal Name(Term) 
    call(Goal). %% Note that if Pred has side effects, they will happen.