simplefd.clj

(use '[clojure.core.logic])
(require '[clojure.core.logic.fd :as fd])

(defn simple []
  (run* [x y]
    (fd/in x y (fd/interval 0 9))
    (fd/eq
      (= (+ x y) 9)
      (= (+ (* 4 x) (* 2 y)) 24))))

;; (simple) => [3 6]

simplefd.prolog

:- use_module(library(clpfd)).

simple(Q) :-
  Q = [X, Y],
  4*X + 2*Y #= 24,
  X + Y #= 9,
  [X,Y] ins 0..9.
  
/* simple(Q). => Q = [3, 6] */

what libraries must you first import for running the prolog version?

Aren't lines 6 (clj) and 3 inverted math operations? 4 * y vs 2 * y?

@bostonaholic updated to include the necessary imports in both examples. @jcolebrand good catch, fixed.

@swannodette One tiny thing -

(require '[clojure.core.logic.fd :as fd])

Tripped me up for a second.

@mrb Oops thanks for spotting that, fixed.