Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
  • General Material Designation
    See More
  • Location
  • Language
Found 3 from your keywords: subject="Prolog (Computer prog...
cover
The Practice of Prolog
Comment Share
Sterling, Leon.

"Leon Sterling is Associate Professor in the Department of Computer Engineering and Science at Case Western Reserve University. He is the coauthor, along with Ehud Shapiro, of The Art of Prolog.""Addressed to readers at different levels of programming expertise, The Practice of Prolog offers a departure from current books that focus on small programming examples requiring additional instruction…

Edition
-
ISBN/ISSN
9780262284332
Collation
1 online resource (312 pages) :illustrations.
Series Title
-
Call Number
-
cover
Warren's Abstract Machine: A Tutorial Reconstruction
Comment Share
Aït-Kaci, Hassan

"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 abs…

Edition
-
ISBN/ISSN
9780262255585
Collation
1 online resource (xvi, 114 pages) :illustrations.
Series Title
-
Call Number
-
cover
Algorithmic program debugging
Comment Share
Shapiro, Ehud Y.

Productively combines elements of programming languages, environments, logic, and inductive inference to produce effective debugging aids. Its use of the PROLOG language provides an efficient implementation of the debugging algorithms.OCLC-licensed vendor bibliographic record.

Edition
-
ISBN/ISSN
0262256967
Collation
1 online resource (xiv, 232 pages).
Series Title
-
Call Number
-