Amb: Difference between revisions
m
→2. Program
Cyril Nocton (talk | contribs) |
Cyril Nocton (talk | contribs) m (→2. Program) |
||
Line 1,057:
===== 2. Program =====
<syntaxhighlight lang="lisp">;; 22.11.
(defvar *
(defvar *assertion* t)
(defun new ()
(setf *
*assertion* t))
(defun ambsel (symbol domain)
(pushnew symbol *
(set symbol (first domain))
(setf (get symbol 'domain) domain))
Line 1,077 ⟶ 1,075:
(if (eval *assertion*)
t
(labels ((probe (&optional (
(let* ((symbol (first
(domain (get symbol 'domain)))
(dolist (value domain)
(set symbol value)
(cond ((eval *assertion*) (return t))
((probe (rest
(probe))))</syntaxhighlight>
| |||