Skip to main content
FOSDEM PWA

Concurrent Logic Programming - an exploration of miniKanren in FLENG PCN

H.1308 (Rolin) | Day 2 | 12:10 - 12:30 | Speakers: Sjoerd Dost

Concurrent Logic Programming - an exploration of miniKanren in FLENG PCN
A picture of a devroom at FOSDEM 2024
Open in browser
Get involved in the conversation!Join the chat

Notes

Abstract

FLENG is a concurrent logic programming language, with PCN offering a higher-level abstraction. MicroKanren, meanwhile, is a minimalistic relational language with easy access to its fundamentals. Implementing microKanren in FLENG offers opportunities to tinker with the core of miniKanren with minimal code modification. This talk will discuss at least the following:

  • changing the delay operation to relying on using logic variables to represent possibly infinite streams.

  • leveraging the built-in support for AND-parallelism to execute subgoals of disjunctions in parallel.

  • extending mplus to deal with N number of streams fairly (mplusplus), instead of using a binary trampoline.

See https://github.com/deosjr/flengKanren for more

Attachments

Speakers

Sjoerd Dost
Notice: The placeholder video image is licensed under CC BY-SA 4.0. The original image can be found hereChanges made to the image are: Cropped the image to a new ratio, part of the image was cut off.