The Transparent Prolog machine : visualizing logic problems

LDR 01100nam a2200289 a 4500
001 002549865
003 MiAaHDL
005 20210817000000.0
006 m d
007 cr bn ---auaua
008 920720s1991 ne a b 001 0 eng
010 ‡a91033171
020 ‡a0792314476 ‡q(U.S. : acid free paper)
020 ‡a1871516145 ‡q(acid-free paper)
035 ‡a(MiU)990025498650106381
035 ‡asdr-miu.990025498650106381
035 ‡a(OCoLC)24627794
035 ‡z(MiU)Aleph002549865
040 ‡aDLC ‡cDLC ‡dEYM
050 0 0 ‡aQA76.73.P76 ‡bE48 1991
082 0 0 ‡a006.3 ‡220
100 1 ‡aEisenstadt, Marc, ‡d1947-
245 1 4 ‡aThe Transparent Prolog machine : ‡bvisualizing logic problems / ‡cMarc Eisenstadt, Mike Brayshaw, Jocelyn Paine.
260 ‡aOxford, Eng. : ‡bIntellect ; ‡aNorwell, MA : ‡bSold and distributed in the U.S.A. and Canada by Kluwer Academic Publishers, ‡c1991.
300 ‡avii, 176 p. : ‡bill. ; ‡c24 cm.
504 ‡aIncludes bibliographical references (p. 165-167) and index.
538 ‡aMode of access: Internet.
630 0 0 ‡aTransparent Prolog machine.
650 0 ‡aLogic programming.
650 0 ‡aProlog (Computer program language)
700 1 ‡aPaine, Jocelyn.
700 1 ‡aBrayshaw, Mike.
CID ‡a002549865
DAT 0 ‡a19920729000000.0 ‡b20210817000000.0
DAT 1 ‡a20210902090724.0 ‡b2021-09-03T16:22:08Z
DAT 2 ‡a2020-09-03T17:30:02Z
CAT ‡aSDR-MIU ‡dALMA ‡lprepare.pl-004-008
FMT ‡aBK
HOL ‡0sdr-miu.990025498650106381 ‡aMiU ‡bSDR ‡cMIU ‡pmdp.39015025145411 ‡sMIU ‡1990025498650106381
974 ‡bMIU ‡cMIU ‡d20210903 ‡sgoogle ‡umdp.39015025145411 ‡y1991 ‡ric ‡qbib ‡tnon-US bib date1 >= 1929