>> The building blocks of every programming language are functions. "Every"? Nope: https://en.wikipedia.org/wiki/Logic_programming https://en.wikipedia.org/wi

>> The building blocks of every programming language are functions. "Every"? Nope: https://en.wikipedia.org/wiki/Logic_programming https://en.wikipedia.org/wiki/Logic_programming The "building blocks" (actually, the only data structure) of logic programming languages like Prolog, ASP, Mercury, Oz, etc are ... relations. Which map elements of sets without specific inputs and outputs. Put that in Haskell's pipe and smoke it. OK, but now let's ask the important questions: has anyone implemented SLD(NF)-Resolution in Factorio, yet?