SHARE
TWEET

SPASS test

a guest Jun 11th, 2018 64 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. begin_problem(Pelletier54).
  2.  
  3. list_of_descriptions.
  4. name({*Test*}).
  5. author({*michalk93*}).
  6. status(unsatisfiable).
  7. description({*Test FOL knowledgebase*}).
  8. end_of_list.
  9.  
  10. list_of_symbols.
  11.   predicates[(A,0), (B, 0), (C, 0)].
  12. end_of_list.
  13.  
  14. list_of_formulae(axioms).
  15. formula(forall([X], implies(A, B))).
  16. formula(forall([X], implies(B, not(A)))).
  17. formula(forall([X], implies(B, C))).
  18. formula(forall([X], implies(C, not(B)))).
  19. end_of_list.
  20.  
  21.  
  22. list_of_formulae(conjectures).
  23. formula(exists([X], implies(B, A))).
  24. end_of_list.
  25.  
  26. list_of_settings(SPASS).
  27. {*
  28. set_flag(PGiven,1).
  29. set_flag(DocProof,1).
  30. set_flag(PProblem,0).
  31. *}
  32. end_of_list.
  33.  
  34. end_problem.
RAW Paste Data
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy. OK, I Understand
 
Top