Ilyas Cicekli Abstract Metaprolog Engine. 169-199 1998 34 J. Log. Program. 3 db/journals/jlp/jlp34.html#Cicekli98