Показать результаты в Прологе - PullRequest
Новая
       16

Показать результаты в Прологе

0 голосов
/ 24 апреля 2020 
if twol then twolegs.
if twoh then twohands
if tenf then tenfingers.
if twof then twofeets.
if smallh then smallhair.
if fourlegs and nohands and nofingers and fourfeets and doghair then dog.
if twolegs and twohands and tenfingers and twofeets and smallhair then person.
if fourlegs and nohands and nofingers and fourfeets and doghair then dog.
if twolegs and twohands and tenfingers and twofeets and smallhair then person.


    % forward chaining
    forward :-
     new_derived_fact(P),!,
     write('solution: '),writeln(P),
     assert(derived_fact(P)),
     forward ;
     writeln('No more facts').
    new_derived_fact(P) :-
     if Cond then P,
     \+ fact(P),
     \+ derived_fact(P),
     truth(Cond).
    truth(P) :-
     fact(P) ;
     derived_fact(P).
    truth(P1 and P2) :-
     truth(P1),
     truth(P2).
    truth(P1 or P2) :-
     truth(P1) ;
     truth(P2).

    %database
    solution(person, address, id, house).
    solution(dog, dogaddress, dogid, doghouse)

У меня есть этот код в прологе с использованием прямой цепочки. Как отобразить результат "человек", как "адрес, идентификатор, дом" из базы данных ??

У меня есть этот код в прологе с использованием прямой цепочки. Как отобразить результат "человек", как "адрес, идентификатор, дом" из базы данных ??

1 Ответ

0 голосов
/ 24 апреля 2020

редактировать базу данных 

 %database
    solution(person, addressx, idp1, house).
    solution(person, addressy, idp2, house).
    solution(person, addressz, idp3, house).
    solution(dog, dogaddressx, dogid1, doghouse).
    solution(dog, dogaddressy, dogid2, doghouse).
...