Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- legal(f0(null)).
- legal(f1(X)) :- X = null; %true if f1(null)
- legal(X), %if f1.....f1(null)
- X \= f0(null).
- legal(f0(X)) :- legal(X). %if f0.....f1(null)
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement