David W. Reed Donald W. Loveland A Comparison of Three Prolog Extensions. 25-50 1992 12 J. Log. Program. 1&2 db/journals/jlp/jlp12.html#ReedL92 http://dx.doi.org/10.1016/0743-1066(92)90038-5