Introduction to Logic Programming

By Christopher John Hogger

Preview available

Representation and reasoning; Logic programs; Programming style; Data structures; Program verification; Formal program synthesis; Implementation; Broader contributions to computing.

Book Details

Country: US
Published: 1984
Publisher: Academic Press
Author(s):Christopher John Hogger
Language: English
Pages: 278
Categories:Computers / Programming / General Mathematics / Logic Reference / Questions & Answers
Available Formats:
Reading Modes: