gdl/pick-small.gdl @ 089d9e0ffbc7

Make the ZDD graphs fancier
author Steve Losh <steve@stevelosh.com>
date Tue, 01 Nov 2016 14:20:24 +0000
parents 144bae0818af
children (none)
(role p)

(legal p 1)
(legal p 2)
(legal p 3)
(legal p 4)
(legal p 5)

(succ 1 2)
(succ 2 3)
(succ 3 4)
(succ 4 5)

(<= (smaller ?x ?y)
  (succ ?x ?y))

(<= (smaller ?x ?y)
  (succ ?x ?sx)
  (smaller ?sx ?y))

(<= (next done))

(<= (next (picked ?n))
  (does p ?n))

(<= (goal p 100)
  (true (picked ?n))
  (smaller ?n 3))

(<= (goal p 0)
  (true (picked ?n))
  (not (smaller ?n 3)))

(<= terminal
  (true (picked ?anything)))