Nondeterminism and unification in LogScheme: integrating logic and functional programming

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Nondeterminism and unification in LogScheme: integrating logic and functional programming

Full text

Pdf (1.60 MB)

Source

Functional Programming Languages and Computer Architecture archive
Proceedings of the fourth international conference on Functional programming languages and computer architecture table of contents

Imperial College, London, United Kingdom

Pages: 327 - 339

Year of Publication: 1989

ISBN:0-89791-328-0

Authors

Erik Ruf	Computer Systems Laboratory, CIS Building, Stanford University, Stanford, CA
Daniel Weise	Computer Systems Laboratory, CIS Building, Stanford University, Stanford, CA

Sponsors

SIGARCH: ACM Special Interest Group on Computer Architecture
IFIP WG 2.8 : IFIP WG 2.8
SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 3, Downloads (12 Months): 18, Citation Count: 1

Additional Information:

references cited by 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/99370.99400 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.

	1	Harold Abelson , Gerald Jay Sussman , Julie Sussman, Structure and interpretation of computer programs, MIT Press, Cambridge, MA, 1985
	2	R. G. Bandes. "Constraining-Unification and the Programming Language Unicorn~. In {7}, pp. 397-410.
	3	P. M. A. Bothner, Efficiently combining logical constraints with functions, Stanford University, Stanford, CA, 1989
	4	M. Bruynooghe. "The Memory Management of PRO- LOG Implementations~. In Logic Programming, K. L. Clark and S. A. T~rnlund (Eds), pp. 83-98. Academic, 1982.
	5	S. Cohen. "The Applog Language'. In {7}, pp. 239-276.
	6	S. H. Danforth. "Logical Variables for a Functional Language". MCC Technical Report Number PP-120- 85, 1985.
	7	Doug DeGroot , Gary Lindstrom, Logic programming: functions, relations, and equations, Prentice-Hall, Inc., Upper Saddle River, NJ, 1986
	8	M. Felleisen. Transliterating Prolog into Scheme. Indiana University Computer Science Department Technical Report No. 182, October 1985.
	9	D. P. Friedman. Applications of Continuations. Tutorial at ACM Symposium on Principles of Programming Languages, 1988.
	10	Ralph E. Griswold , Madge T. Griswold, ICON Programmng Language, Prentice Hall Professional Technical Reference, 1983
	11	Robert H. Halstead, Jr., MULTILISP: a language for concurrent symbolic computation, ACM Transactions on Programming Languages and Systems (TOPLAS), v.7 n.4, p.501-538, Oct. 1985 [doi>10.1145/4472.4478]
	12	Christopher T. Haynes, Logic continuations, Journal of Logic Programming, v.4 n.2, p.157-176, June 1, 19876 [doi>10.1016/0743-1066(87)90016-1]
	13	Christopher T. Haynes , Daniel P. Friedman, Embedding continuations in procedural objects, ACM Transactions on Programming Languages and Systems (TOPLAS), v.9 n.4, p.582-598, Oct. 1987 [doi>10.1145/29873.30392]
	14	J. Jaffar and J. Lassez. "Methodology and Implementation of a CLP System~. Logic Programming '87. Springer-Verlag, 1988.
	15	K. M. Kahn. "Uniform: A Language Based upon Unification which Unifies (much of) Lisp, Prolog, and Act 1". In {7}, pp. 411-438.
	16	J. McCarthy. "A basis for a mathematical theory of computation~. Computer Programming and Formal Systems, P. Bratford and D. Hirschberg (Eds.). North- Holland, 1963.
	17	J. Miller. Multischeme: A Parallel Processing System Based on MIT Scheme. MIT Laboratory for Computer Science Technical Report No. 402, September 1987.
	18	U. S. Reddy. "On the relationship between logic and functional languages~. In {7}, pp. 3-36.
	19	J Rees , W Clinger, Revised report on the algorithmic language scheme, ACM SIGPLAN Notices, v.21 n.12, p.37-79, Dec. 1986 [doi>10.1145/15042.15043]
	20	J. A. Robinson and E. E. Sibert. "LOGLISP: Motiration, Design, and implementation". Logic Program. ruing, K. L. Clark and S. A. Tarnlund (Eds), pp. 299- 314. Academic, 1982.
	21	M. Sato and T. Sakurai. "Qute: a functional language based on unification". In {7}, pp. 1:~1-155.
	22	A. Srivastava, D. Oxley, and A. Srivastava. "An(other) Integration of Logic and Functional Programming". In Proceedings of the 1985 IEEE Symposium on Logic Pro. gramming. IEEE Press, 1985.
	23	L. Sterling and E. Shapiro. The Art of Prolog. MiT Press, 1986.
	24	M. Wand and D. P. Friedman. "The Mystery of the Tower Revealed: ~ Non-Reflective Description of the Reflective Tower". Lisp and Symbolic Computation, I(5), Kluwer Academic Publishers, June 1988.
	25	R. Zabih. Dependency. Directed Backtracking in Non- Deterministic Scheme. MiT Artificial Intelligence L~boratory Technical Report No. 956, 1988.