Related Books

Types in Logic Programming
Language: en
Pages: 388

Types in Logic Programming

Authors: Frank Pfenning
Categories: Computers
Type: BOOK - Published: 1992 - Publisher: MIT Press

DOWNLOAD EBOOK

This collection of original research papers assesses and summarizes the impact of types on logic programming. Type theory is a well-established branch of theore
On Types and Type Consistency in Logic Programming
Language: en
Pages: 194

On Types and Type Consistency in Logic Programming

Authors: Gregor Meyer
Categories: Logic programming
Type: BOOK - Published: 2000 - Publisher: IOS Press

DOWNLOAD EBOOK

Types in Logic Programming
Language: en
Pages: 357

Types in Logic Programming

Authors: Frank Pfenning
Categories: Logic programming
Type: BOOK - Published: 1992 - Publisher: Mit Press

DOWNLOAD EBOOK

This collection of original research papers assesses and summarizes the impact of types on logic programming. Type theory is a well-established branch of theore
Programming with Higher-Order Logic
Language: en
Pages: 321

Programming with Higher-Order Logic

Authors: Dale Miller
Categories: Computers
Type: BOOK - Published: 2012-06-11 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

A programming language based on a higher-order logic provides a declarative approach to capturing computations involving types, proofs and other syntactic struc
Logic Programming with Prolog
Language: en
Pages: 228

Logic Programming with Prolog

Authors: Max Bramer
Categories: Computers
Type: BOOK - Published: 2005-11-30 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Written for those who wish to learn Prolog as a powerful software development tool, but do not necessarily have any background in logic or AI. Includes a full g

Theme: Illdy.