00653nam a22001937a 45000010005000000030009000050050017000140080041000310200016000720400028000880820018001162450120001342600057002543000041003115040041003526500025003936500023004187000018004411866BD-DhUAP20210117092005.0200122s1988 caua b 001 0 eng  a0934613400  aDLCcDLCdBD-DhUAPbEng00223a006.3 FOU00aFoundations of deductive databases and logic programming /cKrzysztof R. Apt ... [et al.] ; edited by Jack Minker. aLos Altos, Calif. :bM. Kaufmann Publishers,cc1988. a746 pages :billustrations ;c24 cm. aIncludes bibliographies and indexes. 0aDeductive databases. 0aLogic programming.1 aMinker, Jack.