https://en.wikipedia.org/wiki/Functional_logic_programming

Curry Mercury

RICE: An Optimizing Curry Compiler https://www.youtube.com/watch?v=K6gLX0la9zo&t=1179s&ab_channel=ACMSIGPLAN

Narrowing

graph combinators

bubbling vs backtrackng vs pulltabbing Making Bubbling Practical on the correctness of pulltabbing

verse that nutso spj epic games project