Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
jasonhemann
27 days ago
|
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
26 days ago
[–]
Is there a specific definition of Micro-Planner? Curious.
jasonhemann
26 days ago
|
parent
[–]
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!)
Consider applying for YC's Spring batch! Applications are open till Feb 11.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
