Delayed evaluation in logic programming
Subtitle: an inference mechanism for large knowledge bases
By: Miguel Nussbaum
Contributors: Eidgenössische Technische Hochschule Zürich
Published: 1988
Language: eng
Notes: Thesis (doctoral)--Swiss Federal Institute of Technology Zurich, 1988.