clojureclojure-core.logic

Clojure, core.logic: listo

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?

Solution

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