APL2 implementations of unification

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

APL2 implementations of unification

Full text

Pdf (785 KB)

Source

International Conference on APL archive
Proceedings of the international conference on APL: APL in transition table of contents

Dallas, Texas, United States

Pages: 216 - 225

Year of Publication: 1987

ISBN:0-89791-226-8

Also published in ...

Authors

James A. Brown	IBM Santa Teresa Lab J88/E42, 555 Bailey Ave., P.O. Box 50020, San Jose, Calif.
Ramiro Guerreiro	IBM Brazil, Av. Presidente Vargas 844/17 andar, Centro Rio de Janeiro, Rio de Janeiro, Brasil

Sponsor

SIGAPL: ACM Special Interest Group on APL Programming Language

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 7, Downloads (12 Months): 19, Citation Count: 3

Additional Information:

abstract references cited by index terms collaborative colleagues

Tools and Actions:	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/28315.28342 What is a DOI?

ABSTRACT

This paper defines unification, the pattern matching process used in logic programming, and presents various alternatives for constructing algorithms

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.

	Br1	James A. Brown, Inside the APL2 workspace, Proceedings of the international conference on APL: APL and the future, p.277-282, May 12-16, 1985, Seattle, Washington, United States
	Br2	Brown, J.A.; Eu4ebir E. "APL2 and Knowledge Based Systems: A Study Of Search", APL86
	Br3	Brown, J.A.8 Eusebi, E.i Gronerl Let Cook, J. "Algorithm8 for Artificial Intelligence in APL2'*, IBM Santa Teresa Technical Report TR 03.281, 1986.
	Dw1	Cynthia Dwork , Paris C. Kanellakis , John C. Mitchell, On the sequential nature of unification, Journal of Logic Programming, v.1 n.1, p.35-50, June 1984 [doi>10.1016/0743-1066(84)90022-0]
	Gu1	Guerrelro R.A.: "APL2 and LISP: A Compar iaon" ' APL86 ( Tutorial Volume).
	Ib1	IBM llIntroduction to APL2". Order number: SH20-9229
	Ib2	IBM "APL2 Programming: Language Reference", Order number: SH20-9227
	Ib3	IBM "APL2 Programming: Syeten Service4 Reference", Order number: SH20-9218
	Ma1	Alberto Martelli , Ugo Montanari, An Efficient Unification Algorithm, ACM Transactions on Programming Languages and Systems (TOPLAS), v.4 n.2, p.258-282, April 1982 [doi>10.1145/357162.357169]
	Ni1	N. J. Nilsson, Principles of artificial intelligence, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1980
	Pa1	Paterson, M.S.; Wegman. M.N.: "Linear Unification*', J. Comput. Syst. Scl. 16r2 ( April 1978 1.
	Ri1	Elaine Rich, Artificial intelligence, McGraw-Hill, Inc., New York, NY, 1983
	Wi1	Patrick Henry Winston, Artificial intelligence (2nd ed.), Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1984

CITED BY 3

	James A. Brown , Ramiro Guerreiro, Designing APL2 programs for unification, ACM SIGAPL APL Quote Quad, v.17 n.4, p.465-468, May 1987
	U. Engelmann , Th. Gerneth , H. P. Meinzer, Implementation of predicate logic in APL2, ACM SIGAPL APL Quote Quad, v.19 n.4, p.124-128, Aug. 1989
	Kenneth J. Fordyce, A bibliography of APL articles on modeling and KBES, ACM SIGAPL APL Quote Quad, v.21 n.1, p.12-18, Sept. 1990