将 FOL 子句转换为 PROLOG答案

【问题标题】：Convert FOL clauses to PROLOG将 FOL 子句转换为 PROLOG
【发布时间】：2019-01-01 09:31:58
【问题描述】：

我对 PROLOG 很陌生，所以这可能是一个非常微不足道的问题，但我绝对没有想法如何解决它。我需要将 4 句话写成 PROLOG 代码：

所有的猎犬都在夜间嚎叫。

任何有猫的人都不会有老鼠。

轻睡者没有任何在夜间嚎叫的东西。

约翰有一只猫或一只猎犬。

我在这样的一阶谓词演算中将句子转换为格式良好的公式

- ∀x (HOUND(x) → HOWL(x))

- ∀x ∀y (HAVE(x,y) ∧ CAT (y) → ¬∃z (HAVE(x,z) ∧ MOUSE (z)))

- ∀x (Light_Sleeper(x) → ¬∃y (HAVE (x,y) ∧ HOWL(y)))

- ∃x (HAVE (John,x) ∧ (CAT(x) ∨ HOUND(x)))

现在我不知道如何在 Prolog 中编写它们。
另外，如何查询？

【问题讨论】：

第一个子句已经是Horn子句了，可以直接翻译。
您可以使用常量，而不是使用谓词来表示猫/鼠标等。第二个子句将变为 ∀x ( Have(x,cat) → ¬ Have(x, mouse) )，但它仍然不是 Horn 子句。与其定义规则，不如将其表示为查询∀x ¬( Have(x,cat) ∧ Have(x, mouse) )，但这需要否定。因为 Prolog 只实现了negation as failure，所以只有当Have(x,y) 有有限多个解时，翻译才是正确的。
第四个子句的措辞暗示约翰有一只猫或一只狗，但不是两者兼有。如果是这样，那么您需要明确说明。

标签： prolog first-order-logic

【解决方案1】：

所有的猎犬都在夜间嚎叫。

hound(marshall).
hound(rubble).
howls_at_night(X) :-
    hound(X).

%% ?- howls_at_night(everest).
%% false.

%% ?- howls_at_night(rubble).
%% true.

%% ?- howls_at_night(Name).
%% Name = marshall
%% Name = rubble.

有猫的人就没有老鼠。

cat(tom).
mice(jerry).
has(mammy, tom).
wont_have_mice(X) :- has(X, Y), cat(Y).
may_have_mice(X) :- has(X, Y) -> \+ cat(Y) ; true.

%% ?- may_have_mice(john).
%% true.

%% ?- wont_have_mice(john).
%% false.

%% ?- wont_have_mice(mammy).
%% true.

%% ?- may_have_mice(mammy).
%% false.

轻睡者没有任何在夜间嚎叫的东西。

has(ryder, marshall).
has(ryder, rubble).
could_be_a_lightsleeper(X) :- has(X, Y) -> \+ howls_at_night(Y) ; true.
is_not_a_lightsleeper(X) :- has(X, Y), howls_at_night(Y).

%% ?- could_be_a_lightsleeper(max).
%% true.

%% ?- could_be_a_lightsleeper(ryder).
%% false.

%% ?- could_be_a_lightsleeper(Name).
%% Name = mammy.

%% ?- is_not_a_lightsleeper(max).
%% false.

%% ?- is_not_a_lightsleeper(mammy).
%% false.

%% ?- is_not_a_lightsleeper(max).
%% false.

%% ?- is_not_a_lightsleeper(Name).
%% Name = ryder.

约翰有一只猫或一只猎犬。

has_cat_or_hound(X, Y) :- has(X, Y), (cat(Y) ; hound(Y)).
john_has(Y) :- cat(Y) ; hound(Y).

【讨论】：