Some Prolog predicates for cl-gambol, a minimal Prolog in Common Lisp.