Knowledge Systems Through PROLOG An Introduction

Name: Knowledge Systems Through PROLOG An Introduction
Availability: OutOfStock
ISBN: 9780195072419

ISBN-10: 0195072413

ISBN-13: 9780195072419

Edition: 1991

Authors: Steven H. Kim

List price: $46.00

30 day, 100% satisfaction guarantee!

Out of stock

We're sorry. This item is currently unavailable.

what's this?

Rush Rewards U
Members Receive:

You have reached 400 XP and carrot coins. That is the daily max!

With increasing frequency, PROLOG is the language of choice for many applications in artificial intelligence. This popularity of PROLOG, coupled with the importance of artificial intelligence applications, underscores the need for an integrative text and reference in this area. The motivation behind this book is to present for the first time a cohesive text for artificial intelligence and software development using PROLOG as the language. The essentials of the concepts, artificial intelligence, logic programming and software engineering are presented here in one coherent book. One of the distinguishing features of the book will be its unified treatment of computation and software designs,…

Book details

List price: $46.00
Copyright year: 1991
Publisher: Oxford University Press, Incorporated
Publication date: 11/21/1991
Binding: Paperback
Pages: 368
Size: 6.13" wide x 9.19" long x 1.08" tall
Weight: 1.276




Fundamentals



Introduction



Historical and Conceptual Foundations



PROLOG



Statements



Elementary Objects



Operators



Reasoning Strategies



Lists



Debugging



Input/Output



Knowledge Base Modifications



Meta-Predicates



Operator Syntax



Grammar Rules



Knowledge Structures and Systems



Knowledge Representation



Facts



Rules



Frames



Networks



Knowledge Utilization



Forward vs. Backward



Depth-First vs. Breadth-First



Software Development Strategy



Knowledge Systems in Industry



Applications in Prolog



Robot Simulator



Calculus Aide



Investment Counselor



Supplementary Topic



Logical Foundations of Prolog