Comment by self

A while ago I stumbled across this post: https://tomstu.art/hello-declarative-world

It walks you through implementing microkanren in Ruby. You might find it easier to implement all of that in gdscript.