Advertisement
Guest User

Untitled

a guest
Nov 29th, 2011
121
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. (run 2 [q]
  2.   (fresh [x y z]
  3.     (conde
  4.       [(== (x y z x) q)]
  5.       [(== (z y x z) q)])))
  6.  
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement