£88.78

Springer Foundations of Logic Programming (Symbolic Computation)

Price data last checked 17 day(s) ago - will refresh soon

View at Amazon

We'll watch every seller, every day. One email when your price arrives.

About as cheap as it gets. The only time it was cheaper was 3 months ago.

£89 today · all-time low £88 (May 2026) · usually £88

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey
↓ Forecast
where the price is heading next
↓ Statistics
all-time high & low, recent range
↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 74 days · 74 data points (no recent data)

Historical
Generating forecast…
£91.19 £87.60 £88.39 £89.17 £89.95 £90.73 £91.52 24 May 2026 11 June 2026 29 June 2026 17 July 2026 05 August 2026

Price Distribution

Price distribution over 74 days • 4 price levels

Days at Price
Current Price
42 days 4 days · current 13 days 15 days 0 11 21 32 42 £88 £89 £90 £91 Days at Price

Price Analysis

Most common price: £88 (42 days, 56.8%)

Price range: £88 - £91

Price levels: 4 different prices over 74 days

Description

This is the second edition of the first book to give an account of the mathematical foundations of Logic Programming. The topics covered include the semantics of various classes of programs, the semantics of perpetual processes, and the foundations of Deductive Database Systems. The book contains many illustrative examples and over 100 problems.

Product Specifications

Format
paperback
Domain
Amazon UK
Publication Date
15 December 2011
Listed Since
20 September 2013

Barcode

No barcode data available

Similar Products You Might Like

Essentials Of Logic Programming (Oxford Science Publications): 1 (Graduate Texts in Computer Science)
97% match

Essentials Of Logic Programming (Oxford Science Publications): 1 (Graduate Texts in Computer Science)

Oxford University Press

£53.00 07 Jul 2026
Logic Programming: 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings: 2916 (Lecture Notes in Computer Science, 2916)
97% match

Logic Programming: 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings: 2916 (Lecture Notes in Computer Science, 2916)

Springer

£107.22 17 Jul 2026
Logic Programming: A Classified Bibliography
97% match

Logic Programming: A Classified Bibliography

Springer

£83.00 15 Jul 2026
Logic Programming: The 1997 International Symposium
97% match

Logic Programming: The 1997 International Symposium

MIT Press

£83.58 04 Aug 2026
Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings: 5366 (Lecture Notes in Computer Science, 5366)
97% match

Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings: 5366 (Lecture Notes in Computer Science, 5366)

Springer

£81.91 04 Jul 2026
Reasoning with Logic Programming: 1111 (Lecture Notes in Computer Science, 1111)
97% match

Reasoning with Logic Programming: 1111 (Lecture Notes in Computer Science, 1111)

Springer

£36.34 17 Jul 2026
Extensions of Logic Programming: Third International Workshop, ELP '92, Bologna, Italy, February 26-28, 1992. Proceedings: 660 (Lecture Notes in Computer Science, 660)
96% match

Extensions of Logic Programming: Third International Workshop, ELP '92, Bologna, Italy, February 26-28, 1992. Proceedings: 660 (Lecture Notes in Computer Science, 660)

Springer

£44.96 22 Jul 2026
Logic of Computation: SER F / v.157 (NATO ASI)
96% match

Logic of Computation: SER F / v.157 (NATO ASI)

Springer

£80.57 04 Jul 2026
Springer Mathematical Problems from Applied Logic I - Vol 4
96% match

Springer Mathematical Problems from Applied Logic I - Vol 4

Springer

£68.66 22 Jul 2026
Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, ... (Lecture Notes in Computer Science, 3452)
96% match

Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, ... (Lecture Notes in Computer Science, 3452)

Springer

£66.33 07 Jul 2026
Mathematical Logic (Undergraduate Texts in Mathematics)
96% match

Mathematical Logic (Undergraduate Texts in Mathematics)

Springer

£53.99 20 Jun 2026
North Holland - Principles of Logic and Logic Programming
96% match

North Holland - Principles of Logic and Logic Programming

North Holland

£140.00 17 Jul 2026
Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers: 933 (Lecture Notes in Computer Science, 933)
96% match

Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers: 933 (Lecture Notes in Computer Science, 933)

Springer

£61.51 09 Jul 2026
First-Order Logic and Automated Theorem Proving (Texts in Computer Science)
96% match

First-Order Logic and Automated Theorem Proving (Texts in Computer Science)

Springer

£64.86 20 Aug 2026
Computational Logic: Symposium Proceedings, Brussels, November 13/14, 1990 (ESPRIT Basic Research Series)
96% match

Computational Logic: Symposium Proceedings, Brussels, November 13/14, 1990 (ESPRIT Basic Research Series)

Springer

£75.01 07 Jul 2026
Language, Proof and Logic 2e +CD: Second Edition
96% match

Language, Proof and Logic 2e +CD: Second Edition

University of Chicago Press

£42.72 15 Aug 2026
Logic And Language Models For Computer Science (Third Edition)
96% match

Logic And Language Models For Computer Science (Third Edition)

Scientific Publishing

£39.77 11 Jul 2026
Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings: 5330 (Lecture Notes in Computer Science, 5330)
96% match

Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings: 5330 (Lecture Notes in Computer Science, 5330)

Springer

£86.44 24 Jun 2026
Logics for Emerging Applications of Databases
96% match

Logics for Emerging Applications of Databases

Springer

£76.41 06 Jul 2026
Logic Program Synthesis from Incomplete Information: 295 (The Springer International Series in Engineering and Computer Science, 295)
96% match

Logic Program Synthesis from Incomplete Information: 295 (The Springer International Series in Engineering and Computer Science, 295)

Springer

£108.01 16 Aug 2026
Logic Program Synthesis from Incomplete Information: 295 (The Springer International Series in Engineering and Computer Science, 295)
96% match

Logic Program Synthesis from Incomplete Information: 295 (The Springer International Series in Engineering and Computer Science, 295)

Springer

£129.73 16 Aug 2026
Logic for Computer Scientists (Modern Birkhäuser Classics)
96% match

Logic for Computer Scientists (Modern Birkhäuser Classics)

Birkhauser

£51.67 04 Jul 2026
Foundations of Inductive Logic Programming: 1228 (Lecture Notes in Computer Science, 1228)
96% match

Foundations of Inductive Logic Programming: 1228 (Lecture Notes in Computer Science, 1228)

Springer

£63.90 03 Aug 2026
Logic and Complexity (Discrete Mathematics and Theoretical Computer Science)
96% match

Logic and Complexity (Discrete Mathematics and Theoretical Computer Science)

Springer

£118.54 19 Aug 2026