Logic Programming New Frontiers

ISBN 13: 9789401051316

Logic Programming New Frontiers

0 avg rating
( 0 ratings by Goodreads )
 
9789401051316: Logic Programming New Frontiers
View all copies of this ISBN edition:
 
 

In Logic Programming, as in many other areas, Theory is often best tested by Application and attempted Application frequently necessitates advances in Theory, so both theoretical and practical work is essential for effective progress. This is clearly evident in the following papers presented to the sec­ ond UK Logic Programming Conference which was sponsored by the United Kingdom branch of the Association of Logic Programming and convened at Bristol.University in March 1990. This book contains 13 papers from that conference grouped under four head­ ings: Theory supporting practice motivating theory In this first group of papers, difficulties experienced in practical application of Prolog and in debugging Prolog programs have motivated work on extensions to the language and its development environment. Program development advances are represented by two papers on debugging and one on a development methodology for CLP programs. On the theoret­ ical side a Pure(r) logic language is proposed as well as extensions to make logic more effective for integrity checking in deductive databases. Applications The next group contains three papers. The first describers the use of Prolog to develop a Control Engineering workStation (CES). The second investigates the use of a logic programming based KBMS for developing a prototype Fi­ nancial Management Information System. In the last it is shown how a subset of prolog can provide a vehicle for the animation of Discrete Mathematics.

"synopsis" may belong to another edition of this title.

Review:

`Overall, I found this to be a very good collection of papers, and certainly well worth reading for anyone with an interest more in the theoretical than the practical side perhaps of Artificial Intelligence, and its applications in PROLOG.'
The Australian Computer Journal.

"About this title" may belong to another edition of this title.

Buy New View Book
List Price: US$ 139.00
US$ 116.18

Convert currency

Shipping: FREE
From United Kingdom to U.S.A.

Destination, rates & speeds

Add to Basket

Other Popular Editions of the Same Title

9780792315469: Logic Programming - New Frontiers

Featured Edition

ISBN 10:  0792315464 ISBN 13:  9780792315469
Publisher: Springer, 1992
Hardcover

Top Search Results from the AbeBooks Marketplace

1.

Published by Springer, Netherlands (2012)
ISBN 10: 9401051313 ISBN 13: 9789401051316
New Paperback Quantity Available: 10
Print on Demand
Seller:
Book Depository International
(London, United Kingdom)
Rating
[?]

Book Description Springer, Netherlands, 2012. Paperback. Condition: New. Language: English . Brand New Book ***** Print on Demand *****. In Logic Programming, as in many other areas, Theory is often best tested by Application and attempted Application frequently necessitates advances in Theory, so both theoretical and practical work is essential for effective progress. This is clearly evident in the following papers presented to the sec- ond UK Logic Programming Conference which was sponsored by the United Kingdom branch of the Association of Logic Programming and convened at Bristol.University in March 1990. This book contains 13 papers from that conference grouped under four head- ings: Theory supporting practice motivating theory In this first group of papers, difficulties experienced in practical application of Prolog and in debugging Prolog programs have motivated work on extensions to the language and its development environment. Program development advances are represented by two papers on debugging and one on a development methodology for CLP programs. On the theoret- ical side a Pure(r) logic language is proposed as well as extensions to make logic more effective for integrity checking in deductive databases. Applications The next group contains three papers. The first describers the use of Prolog to develop a Control Engineering workStation (CES). The second investigates the use of a logic programming based KBMS for developing a prototype Fi- nancial Management Information System. In the last it is shown how a subset of prolog can provide a vehicle for the animation of Discrete Mathematics. Softcover reprint of the original 1st ed. 1992. Seller Inventory # AAV9789401051316

More information about this seller | Contact this seller

Buy New
US$ 116.18
Convert currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, rates & speeds

2.

Brough, D.R.
Published by Springer (2016)
ISBN 10: 9401051313 ISBN 13: 9789401051316
New Paperback Quantity Available: 1
Print on Demand
Seller:
Ria Christie Collections
(Uxbridge, United Kingdom)
Rating
[?]

Book Description Springer, 2016. Paperback. Condition: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Seller Inventory # ria9789401051316_lsuk

More information about this seller | Contact this seller

Buy New
US$ 111.82
Convert currency

Add to Basket

Shipping: US$ 4.94
From United Kingdom to U.S.A.
Destination, rates & speeds

3.

Published by Springer, Netherlands (2012)
ISBN 10: 9401051313 ISBN 13: 9789401051316
New Paperback Quantity Available: 10
Print on Demand
Seller:
The Book Depository
(London, United Kingdom)
Rating
[?]

Book Description Springer, Netherlands, 2012. Paperback. Condition: New. Language: English . Brand New Book ***** Print on Demand *****.In Logic Programming, as in many other areas, Theory is often best tested by Application and attempted Application frequently necessitates advances in Theory, so both theoretical and practical work is essential for effective progress. This is clearly evident in the following papers presented to the sec- ond UK Logic Programming Conference which was sponsored by the United Kingdom branch of the Association of Logic Programming and convened at Bristol.University in March 1990. This book contains 13 papers from that conference grouped under four head- ings: Theory supporting practice motivating theory In this first group of papers, difficulties experienced in practical application of Prolog and in debugging Prolog programs have motivated work on extensions to the language and its development environment. Program development advances are represented by two papers on debugging and one on a development methodology for CLP programs. On the theoret- ical side a Pure(r) logic language is proposed as well as extensions to make logic more effective for integrity checking in deductive databases. Applications The next group contains three papers. The first describers the use of Prolog to develop a Control Engineering workStation (CES). The second investigates the use of a logic programming based KBMS for developing a prototype Fi- nancial Management Information System. In the last it is shown how a subset of prolog can provide a vehicle for the animation of Discrete Mathematics. Softcover reprint of the original 1st ed. 1992. Seller Inventory # AAV9789401051316

More information about this seller | Contact this seller

Buy New
US$ 118.60
Convert currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, rates & speeds

4.

Published by Springer, Netherlands (2012)
ISBN 10: 9401051313 ISBN 13: 9789401051316
New Paperback Quantity Available: 10
Seller:
Book Depository hard to find
(London, United Kingdom)
Rating
[?]

Book Description Springer, Netherlands, 2012. Paperback. Condition: New. Language: English . This book usually ship within 10-15 business days and we will endeavor to dispatch orders quicker than this where possible. Brand New Book. In Logic Programming, as in many other areas, Theory is often best tested by Application and attempted Application frequently necessitates advances in Theory, so both theoretical and practical work is essential for effective progress. This is clearly evident in the following papers presented to the sec- ond UK Logic Programming Conference which was sponsored by the United Kingdom branch of the Association of Logic Programming and convened at Bristol.University in March 1990. This book contains 13 papers from that conference grouped under four head- ings: Theory supporting practice motivating theory In this first group of papers, difficulties experienced in practical application of Prolog and in debugging Prolog programs have motivated work on extensions to the language and its development environment. Program development advances are represented by two papers on debugging and one on a development methodology for CLP programs. On the theoret- ical side a Pure(r) logic language is proposed as well as extensions to make logic more effective for integrity checking in deductive databases. Applications The next group contains three papers. The first describers the use of Prolog to develop a Control Engineering workStation (CES). The second investigates the use of a logic programming based KBMS for developing a prototype Fi- nancial Management Information System. In the last it is shown how a subset of prolog can provide a vehicle for the animation of Discrete Mathematics. Softcover reprint of the original 1st ed. 1992. Seller Inventory # LIE9789401051316

More information about this seller | Contact this seller

Buy New
US$ 121.80
Convert currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, rates & speeds

5.

D. Brough
Published by Springer (2012)
ISBN 10: 9401051313 ISBN 13: 9789401051316
New Quantity Available: > 20
Print on Demand
Seller:
Books2Anywhere
(Fairford, GLOS, United Kingdom)
Rating
[?]

Book Description Springer, 2012. PAP. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # LQ-9789401051316

More information about this seller | Contact this seller

Buy New
US$ 113.59
Convert currency

Add to Basket

Shipping: US$ 11.48
From United Kingdom to U.S.A.
Destination, rates & speeds

6.

D. Brough
Published by Springer (2012)
ISBN 10: 9401051313 ISBN 13: 9789401051316
New Quantity Available: > 20
Print on Demand
Seller:
Pbshop
(Wood Dale, IL, U.S.A.)
Rating
[?]

Book Description Springer, 2012. PAP. Condition: New. New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # IQ-9789401051316

More information about this seller | Contact this seller

Buy New
US$ 124.92
Convert currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

7.

D.R. BROUGH
Published by Springer (2012)
ISBN 10: 9401051313 ISBN 13: 9789401051316
New Paperback Quantity Available: 1
Seller:
Herb Tandree Philosophy Books
(Stroud, GLOS, United Kingdom)
Rating
[?]

Book Description Springer, 2012. Paperback. Condition: NEW. 9789401051316 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. For all enquiries, please contact Herb Tandree Philosophy Books directly - customer service is our primary goal. Seller Inventory # HTANDREE0393121

More information about this seller | Contact this seller

Buy New
US$ 126.77
Convert currency

Add to Basket

Shipping: US$ 10.18
From United Kingdom to U.S.A.
Destination, rates & speeds

8.

Published by Springer (1992)
ISBN 10: 9401051313 ISBN 13: 9789401051316
New Softcover Quantity Available: 15
Print on Demand
Seller:
Rating
[?]

Book Description Springer, 1992. Condition: New. This item is printed on demand for shipment within 3 working days. Seller Inventory # LP9789401051316

More information about this seller | Contact this seller

Buy New
US$ 151.51
Convert currency

Add to Basket

Shipping: US$ 3.15
From Germany to U.S.A.
Destination, rates & speeds

9.

Published by Springer
ISBN 10: 9401051313 ISBN 13: 9789401051316
New Paperback Quantity Available: > 20
Seller:
BuySomeBooks
(Las Vegas, NV, U.S.A.)
Rating
[?]

Book Description Springer. Paperback. Condition: New. 310 pages. Dimensions: 9.2in. x 6.1in. x 0.7in.In Logic Programming, as in many other areas, Theory is often best tested by Application and attempted Application frequently necessitates advances in Theory, so both theoretical and practical work is essential for effective progress. This is clearly evident in the following papers presented to the sec ond UK Logic Programming Conference which was sponsored by the United Kingdom branch of the Association of Logic Programming and convened at Bristol. University in March 1990. This book contains 13 papers from that conference grouped under four head ings: Theory supporting practice motivating theory In this first group of papers, difficulties experienced in practical application of Prolog and in debugging Prolog programs have motivated work on extensions to the language and its development environment. Program development advances are represented by two papers on debugging and one on a development methodology for CLP programs. On the theoret ical side a Pure(r) logic language is proposed as well as extensions to make logic more effective for integrity checking in deductive databases. Applications The next group contains three papers. The first describers the use of Prolog to develop a Control Engineering workStation (CES). The second investigates the use of a logic programming based KBMS for developing a prototype Fi nancial Management Information System. In the last it is shown how a subset of prolog can provide a vehicle for the animation of Discrete Mathematics. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN. Paperback. Seller Inventory # 9789401051316

More information about this seller | Contact this seller

Buy New
US$ 175.76
Convert currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, rates & speeds