Amb: Difference between revisions
m
→2. Program
Cyril Nocton (talk | contribs) m (→4. Execution) |
Cyril Nocton (talk | contribs) m (→2. Program) |
||
Line 1,057:
===== 2. Program =====
<syntaxhighlight lang="lisp">;; 22.11.08
;; 22.11.11 Clarification code
Mise en forme source
(defvar *heap* nil)
Line 1,080 ⟶ 1,082:
(dolist (value domain)
(set symbol value)
(cond ((eval *assertion*) (return t))
((probe (rest heap)) (return t)))))))
(probe))))</syntaxhighlight>
|