:-dynamic xpozytywne/2.
:-dynamic xnegatywne/2.

:-(clause(gra(_),_); consult('gry_bw.pl')).
 menu:-
    write('***************************'),nl,
    write('*          GRY            *'),nl,
    write('* 1.Zgaduj                *'),nl,
    write('* 2.wyjdz                *'),nl,
    write('***************************'),nl,
    nl,nl,
    write('wybor (zakonczony kropka): '),
    read(X),
    menu1(X).



menu1(1):-

            nl,nl,
            write('Sprobuje zgadnac o jaka gre chodzi!'),nl,
            co_to_za_gra(X),
            nl,nl,
            write('ta gra to '),
            write(X),
            write('!!!'),
            nl,nl,
            write('Jeszcze raz? (t/n)'),nl,
            read(Odp),
            (Odp = t, wyczysc_fakty, menu1(1); !, wyczysc_fakty, write('koniec!'), get0(_), halt).

menu1(1):-
            nl,nl,
            write('Niestety nie moge odgadnac :('),nl,
            write('Jeszcze raz? (t/n)'),nl,
            read(Odp),
            (Odp = t, wyczysc_fakty, menu1(1) ; !, wyczysc_fakty, write('koniec!')).



menu1(2):-

            nl,
            write('koniec pracy...'),
            nl,
            get0(_),
            halt.

menu1(_):-
            nl,nl,
            write('bledny numer!'),
            nl,
            menu.

pozytywne(X,Y):-
                xpozytywne(X,Y),
                !.

pozytywne(X,Y):-
                not(xnegatywne(X,Y)),
                pytaj(X,Y,tak).

negatywne(X,Y):-
                xnegatywne(X,Y),
                !.

negatywne(X,Y):-
                not(xpozytywne(X,Y)),
                pytaj(X,Y,nie).

pytaj(X,Y,tak):-
                !,
                write(X),write(' ta_gra '),write(Y),write(' ?(t/n)'),nl,
                read(Odp),
                Odp = t,
                assertz(xpozytywne(X,Y)).

pytaj(X,Y,nie):-
                !,
                write(X),write(' ta_gra '),write(Y),write(' ?(t/n)'),nl,
                read(Odp),
                Odp = n,
                assertz(xnegatywne(X,Y)).

wyczysc_fakty:-
                retractall(xpozytywne(_,_)),
                retractall(xnegatywne(_,_)),
                write('fakty usuniete'),nl.

co_to_za_gra(X):-gra(X).