Revision as of 17:01, 13 November 2022 (view source) Cyril Nocton (talk \| contribs) (→‎1. Note) ← Older edit		Revision as of 17:03, 13 November 2022 (view source) Cyril Nocton (talk \| contribs) (→‎2. Program) Newer edit →
Line 1,060: (defvar stack nil) (defvar ~~assertion~~assert t) (defun new () Line 1,071: (setf (get symbol 'domain) domain)) (defun ambassert (~~assertion~~assert) (setf ~~assertion~~assert (list 'and ~~assertion~~assert ~~assertion~~assert)) (if (eval ~~assertion~~assert) t (labels ((probe (&optional (stack stack)) Line 1,080: (dolist (value domain) (set symbol value) (cond ((eval ~~assertion~~assert) (return t)) ((probe (rest stack)) (return t))))))) (probe))))</syntaxhighlight>

Amb: Difference between revisions

Amb (view source)