Question

According to https://github.com/clojure/core.logic/wiki/Differences-from-The-Reasoned-Schemer
core.logic supports listo.

However, the following piece of code does not compile

(ns test.chap03
  (:refer-clojure :exclude [==])  
  (:use [clojure.core.logic]))

(defn ex07 []
  (run*
    [x]
    (listo `(a b ~x d))))

It complains:

Exception: java.lang.RuntimeException: Unable to resolve symbol: listo in this context, compiling:(test/chap03.clj:8)

Question: what is going on, and how do I get listo?

Answer 1

listo is not implemented. core.logic does not ship with all the definitions from The Reasoned Schemer.