conferences | speakers | series

A Relational Exploration of McCarthy's 'Amb'

home

A Relational Exploration of McCarthy's 'Amb'
FOSDEM 2022

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