Well-founded IO in logic programming?

[kpreid]

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?

Comments

Curry?

[(Anonymous)]

How about Curry? it looks like Haskell. Has the IO Monad, however it is a logical programming language.

http://www-ps.informatik.uni-kiel.de/currywiki/