Hans Weigand Conceptual Models in Prolog. 59-69 1985 DS-1 db/conf/ds/ds85.html#Weigand85