Fork me on GitHub

Hello, I have a curious question, what is fk in clojure.logic suppose to be short for? Does anyone know? I tried doing a quick surface level searching of logic programming but nothing popped up


😄 I don’t really know but maybe fxxx?

😅 2
Ben Sless07:06:34

This reads like fail continuation, and if you read Kiselyov's work on logic monad which is used in Kanren, on which core logic is based, you'll find the term pop up. I see it's used in constraint function definition, throwing if the term isn't ground. You'll need to dig into the papers in constraint Kanren if you want to understand why, but I guess it involves checking if the constraint can be checked for the var

👍 2