Programming with higher-order logic /

"Formal systems that describe computations over syntactic structures occur frequently in computer science. Logic programming provides a natural framework for encoding and animating such systems. However, these systems often embody variable binding, a notion that must be treated carefully at a c...

Full description

Bibliographic Details

Main Author:	Miller, Dale (Dale A.)
Other Authors:	Nadathur, Gopalan
Format:	eBook
Language:	English
Published:	Cambridge : Cambridge University Press, 2012.
Subjects:	Logic programming. Prolog (Computer program language) COMPUTERS / Programming Languages / General. COMPUTERS / Programming / Open Source. COMPUTERS / Software Development & Engineering / General. COMPUTERS / Software Development & Engineering / Tools. Electronic books.
Online Access:	Connect to the full text of this electronic book