:- dynamic cechaPozytywna/2,  cechaNegatywna/2.

zwierze_jest(gepard):-
    jest_to(ssak),
    jest_to(miesozerny),
    pozytywne(ma, brunatny_kolor),
    pozytywne(ma, ciemne_plamy).

zwierze_jest(tygrys):-
    jest_to(ssak),
    jest_to(miesozerny),
    pozytywne(ma, brunatny_kolor),
    pozytywne(ma, czarne_pasy).

zwierze_jest(zyrafa):-
    jest_to(ssak),
    jest_to(kopytonogi),
    pozytywne(ma, dluga_szyja),
    pozytywne(ma, dlugie_nogi),
    pozytywne(ma, ciemne_plamy).

zwierze_jest(zebra):-
    jest_to(ssak),
    jest_to(kopytonogi),
    pozytywne(ma, czarne_pasy).

zwierze_jest(strus):-
    jest_to(ptak).

jest_to(ssak):-
    pozytywne(ma, siersc).

jest_to(ssak):-
    pozytywne(czy, daje_mleko).

jest_to(ptak):-
    pozytywne(ma, piora).

jest_to(ptak):-
    pozytywne(czy, lata),
    pozytywne(czy, znosi_jaja).

jest_to(miesozerny):-
    pozytywne(czy, je_mieso).

jest_to(miesozerny):-
    pozytywne(ma, ostre_zeby),
    pozytywne(ma, pazury),
    pozytywne(ma, wysuniete_do_przodu_oczy).

jest_to(kopytonogi):-
    jest_to(ssak),
    pozytywne(czy, przezuwa_pokarm).

pozytywne(X, Y):-
    cechaPozytywna(X,Y), !.
pozytywne(X, Y):-
    \+ cechaNegatywna(X, Y),
    pytaj(X,Y,tak),!.

negatywna(X,Y):-
    cechaNegatywna(X,Y),!.

negatywna(X,Y):-
    \+ cechaPozytywna(X,Y),
    pytaj(X,Y,nie),!.

pytaj(X,Y,tak):-
    !,
    write('Czy.. To zwierze '),
    write(X),
    write(' '),
    write(Y),
    write(' ? (t\\n)'),
    get_char(CH),get_char(_),
    nl,
    CH='t', pamietaj(X,Y,tak).

pytaj(X,Y,nie):-
    !,
    write('to_zwierze '),
    write(X),
    write(' '),
    write(Y),
    write(' ? (t\\n)'),
    get_char(CH),get_char(_),
    nl,
    CH='t', pamietaj(X,Y,nie).

pamietaj(X,Y,tak) :- assertz(cechaPozytywna(X,Y)).
pamietaj(X,Y,nie) :- assertz(cechaNegatywna(X,Y)).

expertSystem:-
    zwierze_jest(X), !,
    nl,
    write('Twoim zwierzeciem moze byc: '),
    write(X),
    retractall(cechaPozytywna(_, _)),
    retractall(cechaNegatywna(_, _)).

expertSystem:-
    write('Nie jestem w stanie odgadnac, jakie zwierze masz na mysli'),
    retractall(cechaPozytywna(_,_)),
    retractall(cechaNegatywna(_,_)).