io.livecode.ch/learn/webyrd/webmk

anyo

(define anyo
  (lambda (g)
    (conde
      (g)
      ((anyo g)))))

ex1

(fresh (x y z) (== x z) (== 3 y))

ex10

(run* (q)
  (let loop ()
    (conde
      ((== #f q))
      ((== #t q))
      ((loop)))))

ex11

(run* (q)
  (conde
    ((anyo (== #f q)))
    ((== #t q))))

ex12

(run 10 (q)
  (anyo
    (conde
      ((== 1 q))
      ((== 2 q))
      ((== 3 q)))))

ex13

(run 3 (q)
  (let ((nevero (anyo (== #f #t))))
    (conde
      ((== 1 q))
      (nevero)
      ((conde
         ((== 2 q))
         (nevero)
         ((== 3 q)))))))

ex14

(run* (q) (symbolo q))

ex15

(run* (q)
  (symbolo q)
  (== 4 q))

ex16

(run* (q)
  (symbolo q)
  (numbero q))

ex17

(run* (p) (=/= p 1))

ex18

(run* (p) (=/= 1 p) (== 1 p))

ex19

(run* (q)
  (fresh (p r)
    (=/= '(1 2) `(,p ,r))
    (== `(,p ,r) q)))

ex2

(run 1 (q) (fresh (x y z) (== x z) (== 3 y)))

ex20

(run* (q)
  (fresh (p r)
    (=/= '(1 2) `(,p ,r))
    (== 1 p)
    (== `(,p ,r) q)))

ex21

(run* (q)
  (fresh (p r)
    (=/= '(1 2) `(,p ,r))
    (== 1 p)
    (== 2 r)
    (== `(,p ,r) q)))

ex22

(run* (q)
  (fresh (x y)
    (== `(jackal (,y leopard ,x)) q)
    (absento 'panda q)))

ex23

(run* (q)
  (fresh (x y)
    (== `(jackal (,y leopard ,x)) q)
    (absento 'panda q)
    (== 'panda x)))

ex24

(run* (q)
  (fresh (x y)
    (== `(jackal (,y leopard ,x)) q)
    (absento 'panda q)
    (symbolo x)))

ex25

(run* (q)
  (fresh (x y z)
    (== `(jackal (,y leopard ,x)) q)
    (absento 'panda q)
    (symbolo x)
    (== `(c ,z d) y)
    (== 'panda z)))

ex3

(run 1 (q) (fresh (x y) (== x q) (== 3 y)))

ex4

(run 1 (y)
  (fresh (x z)
    (== x z)
    (== 3 y)))

ex5

(run 1 (q)
  (fresh (x z)
    (== x z)
    (== 3 z)
    (== q x)))

ex6

(run 1 (y)
  (fresh (x y)
    (== 4 x)
    (== x y))
  (== 3 y))

ex7

(run 1 (x) (== 4 3))

ex8

(run 1 (x) (== 5 x) (== 6 x))

ex9

(run 2 (q)
  (fresh (w x y)
    (conde
      ((== `(,x ,w ,x) q)
       (== y w))
      ((== `(,w ,x ,w) q)
       (== y w)))))