Functional Logic Programming
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