News for hackers. Stuff that matters.

A comment on What Is miniKanren?. Parent comment

Re:What Is miniKanren? by jasonhemann on Saturday January 04, 2025 @12:20PM (#42596089)
Interesting fact, there's a neat connection between Micro-Planner and the genesis of Prolog. So I think you could be on to something.
[ Parent | on HN ]
Re:What Is miniKanren? by iFire on Saturday January 04, 2025 @11:23PM (#42599751)
Is there a specific definition of Micro-Planner? Curious.
[ Parent | on HN ]
Re:What Is miniKanren? by jasonhemann on Sunday January 05, 2025 @12:32PM (#42603347)
What I was thinking of was this one: 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!)
[ Parent | on HN ]