A Relational Exploration of McCarthy's 'Amb'
- Track: Declarative and Minimalistic Computing devroom
- Room: D.minimalistic
- Day: Sunday
- Start: 17:00
- End: 17:40
- Video with Q&A: D.minimalistic
- Video only: D.minimalistic
- Chat: Join the conversation!
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 |