Amb: Difference between revisions

m
Line 1,057:
===== 2. Program =====
 
<syntaxhighlight lang="lisp">;; 22.11.1108 Mise en forme source
 
(defvar *heap* nil)
Line 1,080:
(dolist (value domain)
(set symbol value)
(whencond (or (eval *assertion*) (probe (rest heap))t)
(return(probe (rest heap)) t))))))
(probe))))</syntaxhighlight>
 
422

edits