001412201 000__ 02910cam\a2200493Ka\4500
001412201 001__ 1412201
001412201 003__ MaCbMITP
001412201 005__ 20240325105210.0
001412201 006__ m\\\\\o\\d\\\\\\\\
001412201 007__ cr\cn\nnnunnun
001412201 008__ 130208s1991\\\\maua\\\\ob\\\\001\0\eng\d
001412201 020__ $$a0262255588$$q(electronic bk.)
001412201 020__ $$a9780262255585$$q(electronic bk.)
001412201 020__ $$z0262011239
001412201 020__ $$z9780262011235
001412201 020__ $$z0262510588
001412201 020__ $$z9780262510585
001412201 035__ $$a(OCoLC)827009761
001412201 035__ $$a(OCoLC-P)827009761
001412201 040__ $$aOCoLC-P$$beng$$epn$$cOCoLC-P
001412201 050_4 $$aQA76.73.P76$$bA38 1991eb
001412201 08204 $$a006.3$$222
001412201 1001_ $$aAït-Kaci, Hassan,$$d1954-
001412201 24510 $$aWarren's abstract machine :$$ba tutorial reconstruction /$$cHassan Aït-Kaci.
001412201 260__ $$aCambridge, Mass. :$$bMIT Press,$$c©1991.
001412201 300__ $$a1 online resource (xvi, 114 pages) :$$billustrations.
001412201 336__ $$atext$$btxt$$2rdacontent
001412201 337__ $$acomputer$$bc$$2rdamedia
001412201 338__ $$aonline resource$$bcr$$2rdacarrier
001412201 4901_ $$aLogic programming
001412201 506__ $$aAccess limited to authorized users.
001412201 5203_ $$a"This tutorial demystifies one of the most important yet poorly understood aspects of logic programming, the Warren Abstract Machine or WAM. The author's step-by-step construction of the WAM adds features in a gradual manner, clarifying the complex aspects of the design and providing the first detailed study of WAM since it was designed in 1983. Developed by David H.D. Warren, the WAM is an abstract (nonphysical) computer that aids in the compilation and implementation of the Prolog programming language and offers techniques for compiling and optimizing symbolic computing that can be generalized beyond Prolog. Although the benefits of the WAM design have been widely accepted, few have been able to penetrate the WAM. This lucid introduction defines separate abstract machines for each conceptually separate part of the design and refines them, finally stitching them together to make a WAM. An index presents all of the critical concepts used in the WAM. It is assumed that readers have a clear understanding of the operational semantics of Prolog, in particular, of unification and backtracking, but a brief summary of the necessary Prolog notions is provided."
001412201 588__ $$aOCLC-licensed vendor bibliographic record.
001412201 650_0 $$aProlog (Computer program language)
001412201 650_0 $$aLogic programming.
001412201 650_0 $$aElectronic digital computers.
001412201 653__ $$aCOMPUTER SCIENCE/General
001412201 655_0 $$aElectronic books
001412201 852__ $$bebk
001412201 85640 $$3MIT Press$$uhttps://univsouthin.idm.oclc.org/login?url=https://doi.org/10.7551/mitpress/7160.001.0001?locatt=mode:legacy$$zOnline Access through The MIT Press Direct
001412201 85642 $$3OCLC metadata license agreement$$uhttp://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
001412201 909CO $$ooai:library.usi.edu:1412201$$pGLOBAL_SET
001412201 980__ $$aBIB
001412201 980__ $$aEBOOK
001412201 982__ $$aEbook
001412201 983__ $$aOnline