~/talk

A Relational Exploration of McCarthy's 'Amb'

Talkat FOSDEM 2022 · on Sunday, 2022-02-06· at 17:00· D.minimalistic

speaker

name:William E. Byrd

website:http://www.webyrd.net

resources

video:https://video.fosdem.org/2022/D.minimalistic/relationalexplorationofmccarthysamb.mp4

slides:none on file

summary

Examines adding John McCarthy’s non-deterministic 'amb' operator into a LISP interpreter implemented in miniKanren (a relational/constraint logic programming language), exploring the unexpected behaviors that arise; includes code available at the provided GitHub repository.

AI-written summary · about