Marija Kulas Annotations for Prolog - A Concept and Runtime Handling. 234-254 1999 conf/lopstr/1999 LOPSTR db/conf/lopstr/lopstr99.html#Kulas99