Search

Article Contents

Next Previous

More Information

Published online: 07 July 2009
The Knowledge Engineering Review 4, Article number: 10.1017/S0269888900004781 (1989) | Cite this article

Rights and permissions
Copyright © Cambridge University Press 19891989Cambridge University Press

Brakto I, 1986. Prolog Programming for Artificial Intelligence, Wokingham: Addison Wesley

Clocksin W and Mellish C, 1984. Programming in Prolog, Second Edition, New York: Springer-Verlag

Gallier JH, 1987. Logic for Computer Science: Foundations of Automatic Theorem Proving, Singapore: John Wiley

Article Metrics

Article views(25) PDF downloads(241)

Other Articles By Authors

The Knowledge Engineering Review 4, Article number: 10.1017/S0269888900004781 (1989) | Cite this article

Rights and permissions

References (3)

About this article

Cite this article

/

DownLoad: Full-Size Img PowerPoint