Skip to content

Instantly share code, notes, and snippets.

@jonase

jonase/gist:5137330

Created March 11, 2013 20:14
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save jonase/5137330 to your computer and use it in GitHub Desktop.
Save jonase/5137330 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.clj
user=> (use 'clojure.core.logic.unifier)
user=> (prep '([?x]))
([<lvar:?x>]) ;; ok. ?x turned into an lvar
user=> (prep '([?x] . ?xs))
([?x] . <lvar:?xs>) ;; fail. ?x is not an lvar
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment