Local cover image
Local cover image
Image from Google Jackets

Prolog : a logical approach

By: Material type: TextTextPublication details: Oxford [England] ; New York : Oxford University Press, 1990.Description: xii, 556 p. : illustrationsISBN:
  • 0198538227 :
  • 9780198538226
  • 0198538219 (pbk.) :
  • 9780198538219
Subject(s): DDC classification:
  • 005.133 DOD
Online resources:
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

Local cover image

© University of Vavuniya

------