Pan no datalog for common lisp yet... might s/ripoff/port the racket implementation