使用 Prolog 进行逻辑编程答案

【问题标题】：Logic Programming with Prolog使用 Prolog 进行逻辑编程
【发布时间】：2018-08-11 09:57:05
【问题描述】：

使用 Prolog 进行逻辑编程：

考虑程序：

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

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

考虑程序：

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

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

【问题讨论】：

【解决方案1】：

对于查询 f(a)、f(b) 和 f(c)，P 分别返回什么？
  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.

【讨论】：