H ?
«
‹
←
→
›
»
Language peer sets for UNIFORM:
Sweden↑
Sweden/1981↑
Designed 1981 ↑
1980s languages ↑
Fourth generation↑
Late Cold War↑
UNIFORM(ID:2872/uni010)
alternate simple view
Country: Sweden
Designed 1981
Published: 1982
Kahn Uppsala 1982
A Language Based Upon Unification Which Unifies (much of) LISP, PROLOG, and ACT 1
People:
Related languages
Act1 |
→
|
UNIFORM | |
Incorporated features of |
Prolog |
→
|
UNIFORM | |
Incorporated features of |
QLISP |
→
|
UNIFORM | |
Incorporated features of |
References:
Kahn (1981) Kahn, K. "Uniform -- A Language based upon Unification which unifies
(much of) Lisp, Prolog, and Act 1", IJCAI-81, August 1981
in [Proceedings] (1981) Proceedings of the 7th International Joint Conference on Artificial Intelligence IJCAI-81, (Vancouver, Canada, Aug 1981) Cambridge, Mass., 1981
Kahn (1981) Kahn, Kenneth M. "Uniform : a language based upon unification which unifies (much of) Lisp, Prolog, and Act 1" UPMAIL. Uppsala programming methodology and artificial intelligence laboratory. Technical reports 17 Uppsala University 1981
Abstract
Extract:
A Language based upon Unification
Extract:
Unification What it is
Extract:
How Unification is Augmented in Uniform
Extract:
Uniform and Actor Languages
Extract:
Uniform and Logic Programming
Extract:
Conclusions and Future Research
in [Proceedings] (1981) Proceedings of the 7th International Joint Conference on Artificial Intelligence IJCAI-81, (Vancouver, Canada, Aug 1981) Cambridge, Mass., 1981
Kahn (1982) Kahn, Kenneth M. "The Implementation of Uniform - A Knowledge-Representation/Programming Language Based upon Equivalence of Descriptions", UPMAIL. Uppsala programming methodology and artificial intelligence laboratory. Technical
reports 9 March 1982.
Abstract
Extract:
An Overview of Uniform
Extract:
Unification--- What it is
Extract:
Unification in Uniform
Extract:
What is Exciting about Uniform
Extract:
Conclusions and Future Research
in [Proceedings] (1981) Proceedings of the 7th International Joint Conference on Artificial Intelligence IJCAI-81, (Vancouver, Canada, Aug 1981) Cambridge, Mass., 1981
Kahn, Kenneth M. (1986) Kahn, Kenneth M. "UNIFORM - A Language Based Upon Unification Which Unifies (much of) LISP, PROLOG, and ACT 1" pp411-438
in DeGroot, Doug; Lindstrom, Gary (Eds.): Logic Prog (1986) DeGroot, Doug; Lindstrom, Gary (Eds.): Logic Programming: Functions, Relations, and Equations. Prentice-Hall, 1986
Search in:
Google
Google scholar
World Cat
Yahoo
Overture
DBLP
Monash bib
NZ
IEEE 
ACM portal
CiteSeer
CSB
ncstrl
jstor
Bookfinder
|