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