SHARE
TWEET

Untitled

a guest Aug 12th, 2017 49 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. :- use_module(library(chr)).
  2. :- chr_constraint is_true/1.
  3. :- initialization(main).
  4.  
  5. is_true([A,means,B]) ==> (is_true(A) ==> is_true(B)).
  6. is_true([[A,is,true],means,[A,is,not,false]]).
  7. is_true([something,is,true]).
  8.    
  9. ?- is_true([something,is,true]).
  10. true .
  11.  
  12. ?- is_true([something,is,not,false]).
  13. is_true([something, is, not, false]).
RAW Paste Data
Top