Prolog : a logical approach

By: Dodd, AMaterial type: TextTextPublication details: Oxford [England] ; New York : Oxford University Press, 1990Description: xii, 556 p. : illustrationsISBN: 0198538227 :; 9780198538226; 0198538219 (pbk.) :; 9780198538219Subject(s): Prolog (Computer program language)DDC classification: 005.133 Online resources: Click here to access online | Click here to access online
Contents:
Logic programming; logic specifications; structured data; arithmetic and other built-in facilties; executing Prolog specifications; using Prolog search strategy; controlling logic programs; input and output; modifying the database; programming with modules; Prolog environments; some odds and ends; writing and documenting Prolog predicates; techniques for programming - data structures; techniques for programming - program structure; debugging and testing Prolog programs; developing Prolog applications; the text processor application.
Summary: Commencing with an explanation of how logic may be used as a programming language, this book goes on to explain the practical limitations that at present restrict logic programmers to the use of the subset of logic embodied in the Prolog programming language.
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
Reference Books Reference Books Main Library
Reference 		Reference 005.133 DOD (Browse shelf(Opens below)) Available 003686
Total holds: 0

Included Index.

Logic programming; logic specifications; structured data; arithmetic and other built-in facilties; executing Prolog specifications; using Prolog search strategy; controlling logic programs; input and output; modifying the database; programming with modules; Prolog environments; some odds and ends; writing and documenting Prolog predicates; techniques for programming - data structures; techniques for programming - program structure; debugging and testing Prolog programs; developing Prolog applications; the text processor application.

Commencing with an explanation of how logic may be used as a programming language, this book goes on to explain the practical limitations that at present restrict logic programmers to the use of the subset of logic embodied in the Prolog programming language.

There are no comments on this title.

to post a comment.

Click on an image to view it in the image viewer

© University of Vavuniya

---