3 ms·
A while ago I stumbled across this post: https://tomstu.art/hello-declarative-world https://tomstu.art/hello-declarative-world It walks you through implementin
by self 2y ago
A while ago I stumbled across this post: https://tomstu.art/hello-declarative-world 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.
- iFire 2y agoNeat. > The six simple building blocks: variables, states, and the four kinds of goal — make two values equal, provide local variables to an existing goal, pursue two existing goals separately, and pursue two existing goals together. > The only data structure is a pair. We can create lists using pairs. I'll play with it more. I have a port of https://github.com/dananau/GTPyhop https://github.com/dananau/GTPyhop and planner systems feel related to relation programming
- jasonhemann 2y agoInteresting fact, there's a neat connection between Micro-Planner and the genesis of Prolog. So I think you could be on to something.
- iFire 2y agoIs there a specific definition of Micro-Planner? Curious.
- jasonhemann 2y agoWhat I was thinking of was this one: https://en.wikipedia.org/wiki/Planner_(programming_language)#Micro-planner_implementation https://en.wikipedia.org/wiki/Planner_(programming_language)... . I don't imagine there's any more formal a specification beyond what-they-implemented (but I haven't actually read the paper!)