Как вывести теорию с помощью Aleph с SWI-Prolog? - PullRequest
Новая
       74

Как вывести теорию с помощью Aleph с SWI-Prolog?

0 голосов
/ 10 июля 2020

Я хотел бы использовать Aleph, чтобы получить теорию с SWI-Prolog. Моя ОС - MacOS 10.15.

Вот мой входной файл: 

% Aleph initialization
    :- aleph.

% Mode declarations
% mode(RecallNumber,PredicateMode).
% - output
:- modeh(*,grandparent(+person,+person)).
:- modeb(*,father(-person,-person)).

:-begin_bg.
person(john).
person(johnJunior).
person(johnJuniorJunior).
person(jack).
person(jackJunior).
person(jackJuniorJunior).
father(johnJunior, john).
father(johnJuniorJunior, johnJunior).
father(jackJunior, jack).
father(jackJuniorJunior, jackJunior).
:-end_bg.

:-begin_in_pos.
grandparent(john, johnJuniorJunior).
grandparent(jack, jackJuniorJunior).
:-end_in_pos.

:-begin_in_neg.
grandparent(jack, john).
:-end_in_neg.

:-aleph_read_all.

Мои шаги: 

?- use_module(library(aleph)).
true.

?- consult(['/Users/scfang6/Desktop/test1.pl']).
true.

И как я могу получить теорию вывода?

...