Kevin Reid's blog

Well-founded IO in logic programming?

 

new
Name
Kevin Reid
Website
My Website

Well-founded IO in logic programming?

Previous Entry Share Next Entry
new

Has anything been done in logic programming (especially in languages not too far from the classic Prolog) which is analogous to monads and the IO monad in Haskell; that is, providing a means of performing IO or other side-effects which does not have the programmer depend on the evaluation/search order of the language?

In other words, what is to Prolog as Haskell is to ML?

Powered by LiveJournal.com