Permalink
Switch branches/tags
Nothing to show
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
12 lines (8 sloc) 325 Bytes
(rule (append-to-form () ?y ?y))
(rule (append-to-form (?u . ?v) ?y (?u . ?z))
(append-to-form ?v ?y ?z))
(rule (reverse (?x) (?x)))
(rule (reverse (?h . ?t) ?y)
(and (reverse ?t ?reversed-t)
(append-to-form ?reversed-t (?h) ?y)))
; (reverse (1 2 3) ?x) works as expected, but (reverse ?x (1 2 3)) won’t.