4

所以，假设我在 Prolog 数据库中有以下内容：

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

很明显，如果我想列出所有人，我可以输入：

person(X).

但是，如果我想找到关于约翰的所有真实情况怎么办？我不能做：

X(john).

但我想要的效果是能够放入“john”并返回“person”和“happy”。

显然还有另一种方式可以存储我的信息：

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

然后，我可以这样做：

is(X, john).

但我在这里失去了一些表现力。我真的很想能够做类似的事情：

X(john).

有任何想法吗？

谢谢！

4

3 回答 3

2

参数化谓词查询（如查找 ∀ xover x(...)）通常在 PROLOG 中本身是不可能的，因为这种事情是二阶（或更高）阶逻辑操作，而 PROLOG 是基于一阶逻辑的。

There are, however, descriptions of how implementations of higher-order logic functions in PROLOG are possible, at least to a limited extent - there are real uses for such functionality. See The Art Of Prolog, Chapter 16, and Higher-order logic programming in Prolog by Lee Naish.

于 2010-08-20T03:05:56.740 回答
1

嗯，根据我的经验，这不是 Prolog 的典型用例。如果您想列举有关约翰的所有“事实”，您首先必须将它们定义为术语，并对其进行编码。然后你可以使用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有许多有趣的问题和运行时错误的可能性。

于 2010-08-16T16:22:31.743 回答
0

这是一个近似值：

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.
于 2010-08-16T21:14:16.303 回答