Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- edu_less(high_school, bachelor).
- edu_less(bachelor, masters).
- edu_less(masters, phd).
- edu_lessOrEqual(X,X).
- edu_lessOrEqual(X, Y):- edu_less(X,Y).
- edu_lessOrEqual(X, Y):- edu_less(X,Z),
- edu_lessOrEqual(Z,Y).
- edu_lessOrEqual(masters, phd).
- true;
- true;
- false.
- true;
- false.
Add Comment
Please, Sign In to add comment