logic solving the mastermind thing.

mastermind-macro-2.clj

(ns logic-foo.core
  (:use [clojure.core.logic]
        [clojure.core.logic.pldb]
        [clojure.tools.macro]))

(defmacro mastermind
  [spaces possibles unknown-pos known-pos]
  (let [q (gensym)
        arg (gensym)
        syms (mapv (fn [_] (gensym)) (range spaces))]
    `(run* [~q]
       (fresh ~syms
         ~@(map (fn [sym] `(membero ~sym ~possibles)) syms)
         (== ~syms ~q)

         (pred ~q #(= (count (set %)) (count %))) ;;unique

         ~@(map (fn [ele] `(membero ~ele ~q)) unknown-pos) ;;unknown pos
         ~@(map (fn [[k v]] `(pred ~q (fn [~arg] (= (~arg ~k) ~v)))) known-pos) ;;known pos
         ))))

;;#spaces to choose, possible vals, existance vec, known position map
(mastermind 3 [1 2 3 4 5 6] [2 5] {0 3})

mastermind-macro.clj

(ns logic-foo.core
  (:use [clojure.core.logic]
        [clojure.core.logic.pldb]
        [clojure.tools.macro]))

(defmacro mastermind [spaces possibles]
  (let [q (gensym)
        syms (mapv (fn [_] (gensym)) (range spaces))]
    `(run* [~q]
       (fresh ~syms
         ~@(map (fn [sym] `(membero ~sym ~possibles)) syms)
         (== ~syms ~q)

         (pred ~q #(= (count (set %)) (count %))) ;;unique

         (membero 2 ~q) ;;things we can find out, eg, 2 is correct, but we dont know where it is.
         (membero 5 ~q) ;;things we can find out, eg, 2 is correct, but we dont know where it is.
         (pred ~q #(= (% 0) 3)) ;;3 is in the first position
         ))))

(mastermind 3 [1 2 3 4 5 6])

mastermind.clj

(ns logic-foo.core
  (:use [clojure.core.logic]
        [clojure.core.logic.pldb]
        [clojure.tools.macro]))

(symbol-macrolet
 [_ (lvar)]
 (run* [q]
   (fresh [a b c possibles]
     (== [1 2 3 4 5 6] possibles)
     (membero a possibles)
     (membero b possibles)
     (membero c possibles)
     (== [a b c] q)

     (pred q #(= (count (set %)) (count %))) ;;unique

     (membero 2 q) ;;things we can find out, eg, 2 is correct, but we dont know where it is.
     (== [1 _ _] q) ;;1 is in the first position
     )))