I don't think so though I'm not totally sure. That paper isn't really about logi... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

swannodette on Nov 22, 2011 | parent | context | favorite | on: UnConj

I don't think so though I'm not totally sure. That paper isn't really about logic programming in general - no vars, no unification.

cgrand-net on Nov 25, 2011 [–]

I think you're right and I had the stupids the other day: what this paper describes is simply your conde (né condi). No?

Join us for AI Startup School this June 16-17 in San Francisco!
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact