Skip to content

Instantly share code, notes, and snippets.

@jonase

jonase/gist:5137330

Created March 11, 2013 20:14
Show Gist options
  • 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

Revisions

  1. jonase created this gist Mar 11, 2013.
    5 changes: 5 additions & 0 deletions gistfile1.clj
    View file
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,5 @@
    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