Logic Programming and Its Applications (Ablex Series in Artificial Intelligence)

Van Caneghem, Michel, Warren, David

ISBN 10: 0893912328 / ISBN 13: 9780893912321

Published by Intellect Ltd, 1986

About this Item

Good.

Seller Inventory # D8S0-3-M-0893912328-4

Bibliographic Details

• Title: Logic Programming and Its Applications (Ablex Series in Artificial Intelligence)
• Publisher: Intellect Ltd
• Publication Date: 1986
• Language: English
• ISBN 10: 0893912328
• ISBN 13: 9780893912321
• Binding: hardcover
• Condition: Good
• Book Type: book

About this title

Synopsis

Logic programming is an emerging approach to computer science where programs are viewed as sets of logical axioms and computation is viewed as carefully controlled logical deduction. The approach currently finds practical realization in the programming language PROLOG. This volume contains details of research in the field, with a special emphasis on applications including expert systems, natural language parsing and analysis, database management and knowledge acquisition, circuit analysis, and hardware verification.