Paul Tarau BinProlog: a Continuation Passing Style Prolog Engine. 479-480 1992 conf/plilp/1992 PLILP db/conf/plilp/plilp92.html#Tarau92 http://dx.doi.org/10.1007/3-540-55844-6_117