Řekněme, že mám definované tři hlady heap(X, Y) a potom nějaké takové pravidlo
pocitac :-
(heap(1,0), heap(2,1), heap(3,N)),
retract(heap(3,N)),
asserta(heap(3,0)).
pocitac :-
(heap(1,N), heap(2,0), heap(3,1)),
retract(heap(1,N)),
asserta(heap(1,0)).
... atd, takhle všech 6 variant (kombinací), napadá někoho jak to nějak chytře přepsat do jednoho pravidla, ať trošku zkrátím zdroják? |