R. A. O'Keefe
3 published titles
A polymorphic type system for Prolog
(Contributor)
1 edition
- Department of Artificial Intelligence, University of Edinburgh
- 1983
- Details
Reading sentences in Prolog : a worked example
1 edition
- Department of Artificial Intelligence University of Edinburgh
- 1984
- Details
The craft of Prolog
1 edition
- ISBN: 0262150395
- MIT Press
- 1990
- Details
