Yves Bekkers Paul Tarau Monadic Constructs for Logic Programming. 51-65 1995 ILPS db/conf/slp/slp95.html#BekkersT95