We will investigate what weirdness occurs when John McCarthy's non-deterministic 'amb' operator is added to a LISP interpreter written in a relational style, in the miniKanren constraint logic programming language.
The code for this talk can be found at https://github.com/webyrd/relational-amb
Speakers: William Byrd