Qu-Prolog 4.2 User Guide (1997) [3 citations — 3 self]
Download:
|
|
by Peter J. Robinson, Peter J. Robinson
ftp://svrc.it.uq.edu.au/techreports/tr97-12.ps.gz
Add To MetaCart
Abstract:
anonymous ftp, from svrc.it.uq.edu.au in the directory /pub/techreports. Abstracts and compressed postscript files are available via
Citations
| 559 | The Art of Prolog – Sterling, Shapiro - 1994 |
| 191 | Introduction to Combinators and -Calculus – Hindley, Seldin - 1986 |
| 178 | A unification algorithm for typed -calculus – Huet - 1975 |
| 62 | Implementing tactics and tacticals in a higher-order logic programming language – Felty - 1993 |
| 11 | Ergo 4.1 Reference Manual – Becht, Bloesch, et al. - 1996 |
| 6 | Qu-Prolog 4.2 reference manual – Robinson, Hagen - 1997 |
| 2 | Theory Structuring in Ergo 4.1, Computing: The Australasian Theory Symposium – Utting, Nickson, et al. - 1996 |
| 1 | The Qu-Prolog Unification Algorithm – Nickolas, Robinson - 1996 |
