Verónica Dahl Logic Programming for Constructive Expert Database Systems. 209-217 1984 Expert Database Workshop db/conf/eds/eds84.html#Dahl84