English Unordered Foundations of Deductive Databases and Logic Programming Jack Minker 1988 View book