Log in

No account? Create an account

Kevin Reid's blog

Well-founded IO in logic programming?


Kevin Reid
My Website

Well-founded IO in logic programming?

Previous Entry Share Next Entry

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