answer_yes :- read(Answer), (Answer = 'Y'; Answer = 'y').
ask(Question, Term) :- format('~w [y/n] -> ', [Question]), (answer_yes, assertz(yes(Term))); assertz(no(Term)).

/* Przykładowe wywołania */
goal :-
        ask('Czy term 1?', term1),
        ask('Czy term 2?', term2).

:- goal.