Конвертировать предложения FOL в PROLOG - PullRequest
Новая
       102

Конвертировать предложения FOL в PROLOG

0 голосов
/ 01 января 2019

Я очень новичок в 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)))

Теперь я не знаю, как их написатьв прологе.
Кроме того, как я могу сделать запрос к ним?

1 Ответ

0 голосов
/ 02 января 2019
  • Все собаки воют по ночам. 
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).
...