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