Surveyor's Forum: Determining a Search

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Surveyor's Forum: Determining a Search

Full text

Pdf (48 KB)

Source

ACM Computing Surveys (CSUR) archive
Volume 12 , Issue 3 (September 1980) table of contents

Page: 358

Year of Publication: 1980

ISSN:0360-0300

Author

Jacques Cohen

Brandeis University, Waltham, MA

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 4, Downloads (12 Months): 19, Citation Count: 0

Additional Information:

references index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/356819.356826 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	KOWA74	KOWALSKI, R. "Predicative logic as programming language," in Proc. IFIP Congress, Stockholm, 1974.
	MCDE72	MCDERMOTT, D., ASD SUSSMAN, G. The CONNIVER reference manual, AI Memo 259, MIT Project Mac, M.I.T., Cambridge, Mass., May 1972.
	ROBE77	ROBERTS, G. An Implementation of PROLOG, M.A. Thesis, Univ. Waterloo, Waterloo, Ont., Canada, 1977.
	ROUS75	ROUSSEL, P. PROLOG: Manuel de reference et d'utilisation, Groupe d'Intelligence Artificielle, Marseille-Luminy, France, September 1975.
	SUSS70	Gerald Sussman , Terry Winograd, Micro-Planner Reference Manual, Massachusetts Institute of Technology, Cambridge, MA, 1970
	WARR77a	David H D Warren , Luis M. Pereira , Fernando Pereira, Prolog - the language and its implementation compared with Lisp, ACM SIGPLAN Notices, v.12 n.8, p.109-115, August 1977
	WARR77b	WARREN, D. ImplementingPROLOG-- Compiling predicate logic programs, Research Rep. Dept. Artificial Intelligence, Univ. Edinburgh, Edinburgh, Scotland, 1977.