使用 Prolog 进行逻辑编程

Question

使用 Prolog 进行逻辑编程：

考虑程序：

        f(X) :- !, X = a.
        f(X) :- !, X = b.
        f(X) :- X = c.

P 分别为查询 f(a) 、 f(b) 和 f(c) 返回什么？

考虑程序：

        f(X) :- X = a, !.
        f(X) :- X= b, !.
        f(X) :- X = c.

P 分别为查询 f(a) 、 f(b) 和 f(c) 返回什么？

Answer 1

P 分别为查询 f(a) 、 f(b) 和 f(c) 返回什么？

 f(X) :- !, X = a. f(X) :- !, X = b. f(X) :- X = c.

?- f(a).
true.

?- f(b).
false.

?- f(c).
false.

 f(X) :- X = a, !. f(X) :- X = b, !. f(X) :- X = c.

?- f(a).
true.

?- f(b).
true.

?- f(c).
true.