Marija Kulas Debugging Prolog Using Annotations. 183-197 2000 WLP db/conf/wlp/wlp2000.html#Kulas00