Online / 5 & 6 February 2022

visit

A Relational Exploration of McCarthy's 'Amb'


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.

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.

Speakers

Photo of William Byrd William Byrd

Links