| title | media type | ISBN-13 | year of publica- tion | other author(s) |
|---|---|---|---|---|
| Algorithmic Program Debugging | Paperback | 978-0-262-69307-3 | 2004 | |
| Algorithmic Program Debugging | Hardcover | 978-0-262-19218-7 | 1983 | |
| Concurrent Prolog - 2 vol. set: Collected Papers | Paperback | 978-0-262-19255-2 | 1987 | |
| Concurrent Prolog - Vol. 1: Collected Papers | Hardcover | 978-0-262-19266-8 | 1987 | |
| Concurrent Prolog - Vol. 2: Collected Papers | " | 978-0-262-19267-5 | 1987 | |
| The Art of PROLOG: Advanced Programming Techniques | Paperback | 978-0-262-69105-5 | 1986 | Leon Sterling |
| The Art of Prolog: Programming Examples - Macintosh | CD-ROM | 978-0-262-69107-9 | 1987 | " |
| The Art of Prolog: Programming Examples - PC | " | 978-0-262-69106-2 | 1987 | " |
| The Art of Prolog, Second Edition: Advanced Programming Techniques | Hardcover | 978-0-262-19338-2 | 1994 | Leon S. Sterling |