000 00897pam a2200301 a 4500
005 20150623165246.0
008 870727s1987 wb a b 001 0 eng
020 _a0387181997
040 _aDLC
_beng
_cDLC
_dCaOONL
060 _bL F
082 0 _a005.1
_219
084 _a005.1
_bL F
100 1 0 _aLloyd, J. W.
_q(John Wylie),
_d1947-
245 1 0 _aFoundations of logic programming
_h[[Book] /]
_cJ.W. Lloyd.
250 _a2nd, extended ed.
260 0 _aBerlin ;
_aNew York :
_bSpringer-Verlag,
_c1987.
300 _a212 p. :
_bill. ;
_c25 cm.
440 0 _aSymbolic computation.
_pArtificial intelligence
500 _aIncludes index.
504 _aBibliography: p. [195]-204.
521 _aAll age.
650 0 _aLogic programming.
650 0 _aProgramming languages (Electronic computers)
_xSemantics.
700 1 _aJ.W. Lloyd.
001 0000038547
003 0000
942 _cBK
999 _c15823
_d15823