Clojurians Log v2
Clojure programming
Channels
Apps
core-logic
zackteo 2022-06-16T05:37:29.720169Z
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 https://github.com/clojure/core.logic/blob/master/src/main/clojure/clojure/core/logic.clj#L27
Ben Sless 2022-06-16T07:19:34.272069Z
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
wontheone1 2022-06-16T06:31:55.675099Z
😄 I don’t really know but maybe fxxx?
😅 1