Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- andor(elementary(X),leaf(X)).
- andor(or(X,[Y]),succ(X,SolY)):-andor(Y,SolY).
- andor(or(X,[Y|Z]),succ(X,SolY)):-Z\=[],andor(Y,SolY).
- andor(or(X,[_|Z]),SolZ):-andor(or(X,Z),SolZ).
- andor(and(X,Y),and(X,SolY)):-andor_and(Y,[],SolY).
- andor_and([],Y,Y).
- andor_and([A|B],L,SolY):-andor(A,SolA),andor_and(B,[SolA|L],SolY).
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement
