Interesting fact, there's a neat connection between Micro-Planner and the genesi... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

jasonhemann on Jan 4, 2025 | parent | context | favorite | on: What Is miniKanren?

Interesting fact, there's a neat connection between Micro-Planner and the genesis of Prolog. So I think you could be on to something.

iFire on Jan 5, 2025 [–]

Is there a specific definition of Micro-Planner? Curious.

jasonhemann on Jan 5, 2025 | [–]

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!)

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact