Guest User

Untitled

a guest
Apr 22nd, 2018
80
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.31 KB | None | 0 0
  1. num_cred([], 0).
  2. num_cred([H|T], Sum) :- num_cred(T, Rest), course(H, P, C), Sum is C + Rest.
  3. courses(X,Y).
  4. pass2(X).
  5. fail2(X).
  6.  
  7. /*Level 2 tests*/
  8.  
  9. course(pai,inf,10).
  10. course(qf,eco,10).
  11. course(d,law,10).
  12.  
  13. student(alice,ss).
  14. attend(alice,pai).
  15. attend(alice,qf).
  16. attend(alice,d).
  17.  
  18. student(bob,ss).
  19. attend(bob,pai).
Add Comment
Please, Sign In to add comment