Related Books

Logic of Programs
Language: en
Pages:

Logic of Programs

Authors:
Categories:
Type: BOOK - Published: 1981 - Publisher:

DOWNLOAD EBOOK

A 25-Year Perspective on Logic Programming
Language: en
Pages: 342

A 25-Year Perspective on Logic Programming

Authors: Agostino Dovier
Categories: Computers
Type: BOOK - Published: 2010-06-30 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book celebratesthe 25th anniversaryof GULP—the Italian Associationfor LogicProgramming.Authored by Italian researchersat the leading edge of their ?elds,
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
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

Formal systems that describe computations over syntactic structures occur frequently in computer science. Logic programming provides a natural framework for enc
The Art of Prolog, second edition
Language: en
Pages: 553

The Art of Prolog, second edition

Authors: Leon S. Sterling
Categories: Computers
Type: BOOK - Published: 1994-03-10 - Publisher: MIT Press

DOWNLOAD EBOOK

This new edition of The Art of Prolog contains a number of important changes. Most background sections at the end of each chapter have been updated to take acco