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

GET 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
Logic Programming with Prolog
Language: en
Pages: 246

Logic Programming with Prolog

Authors: Max A. Bramer
Categories: Computers
Type: BOOK - Published: 2005-07-13 - Publisher: Springer Science & Business Media

GET 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
Types and Programming Languages
Language: en
Pages: 646

Types and Programming Languages

Authors: Benjamin C. Pierce
Categories: Computers
Type: BOOK - Published: 2002-01-04 - Publisher: MIT Press

GET EBOOK

A comprehensive introduction to type systems and programming languages. A type system is a syntactic method for automatically checking the absence of certain er
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

GET EBOOK

Functional and Logic Programming
Language: en
Pages: 229

Functional and Logic Programming

Authors: Keisuke Nakano
Categories: Computers
Type: BOOK - Published: 2020-09-08 - Publisher: Springer Nature

GET EBOOK

This book constitutes the proceedings of the 15th International Symposium on Functional and Logic Programming, FLOPS 2020, held in Akita, Japan*, in September 2