Combining a network database with logic programming - Frank, Andrew U. (Univ. of Maine, 1985)