Foundations of deductive databases and logic programming preprints of workshop ; Aug. 18 - 22, 1986, Washington, DC (National Science Foundation, 1986)