TY - JOUR T1 - Abstract MetaProlog Engine A1 - Cicekli, I. JA - J of Logic Programming Y1 - 1998 VL - 34 SP - 169 EP - 200 ER -