Do you mean fair conjunction like in "Backtracking, Interleaving, and Terminatin... | Hacker News

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

cgrand-net on Nov 22, 2011 | parent | context | favorite | on: UnConj

Do you mean fair conjunction like in "Backtracking, Interleaving, and Terminating Monad Transformers" or something else/new?

swannodette on Nov 22, 2011 [–]

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?

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