KL1

KL1

KL1, or Kernel Language 1 is an experimental AND-parallel version of KL0 developed for the ICOT Fifth Generation Computer project. KL1 is an implementation of Flat GHC (a subset of the Guarded Horn Clauses language by Kazunori Ueda), making it a parallelised Prolog variant.

External links

* [http://www.klic.org The KLIC Association] , home of the KLIC KL1 to C compiler - last update circa 1999

Further reading

*"Design of the Kernel Language for the Parallel Inference Machine", U. Kazunori et al, Computer J (Dec 1990).

References

* cite paper
author = Ueda, Kazunori
title = Guarded Horn Clauses: A Parallel Logic Programming Language with the Concept of a Guard
date = 1987
url = http://citeseer.ist.psu.edu/496335.html
format = PDF
accessdate = 2007-01-18


Wikimedia Foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Look at other dictionaries:

  • List of Margate F.C. seasons — The Margate team display the Margate and District Charity Cup in 1907. Margate F.C. is an English association football …   Wikipedia

  • Kernel Language 1 — o KL1 es un lenguaje de programación desarrollado en 1987 por el Institute for New Generation Computer Technology (Instituto para la Nueva Generación de Tecnologías de Computación, o ICOT por su siglas en inglés) en el marco del proyecto japonés… …   Wikipedia Español

  • Hamburg — Die Buchstaben und Zahlen zwischen den Linien | F2, 3 | bezeichnen die Quadrate des Planes. Bei dem durch das Format bedingten kleinen Maßstab ist es nicht möglich, auf den Stadtplänen des Konv. Lex. sämtliche Seitenstraßen etc. zu geben. Hamburg …   Meyers Großes Konversations-Lexikon

  • Elberfeld — Die Buchstaben und Zahlen zwischen den Linien | D3 | bezeichnen die Quadrate des Planes. E = Elberfeld, B = Barmen. AdersstraßeD3 AdlerstraßeB3 AdolfstraßeG3 AhornstraßeH1, 2 AlbertstraßeK3, 4 Albrechtsstraße (E)D2 – (B)H3 AlexanderstraßeC3… …   Meyers Großes Konversations-Lexikon

  • Quinta generación de computadoras — Saltar a navegación, búsqueda Sistema de computadoras PIM/m de quinta generación La quinta generación de computadoras, también conocida por sus siglas en inglés, FGCS (de Fifth Generation Computer Systems) fue un ambicioso proyecto lanzado por… …   Wikipedia Español

  • Stuttgart — Die Buchstaben und Zahlen zwischen den Linien | I4 | bezeichnen die Quadrate des Planes. Bei dem durch das Format bedingten kleinen Maßstab ist es nicht möglich, auf den Stadtplänen des Konv. Lexikons sämtliche Seitenstraßen etc. zu geben.… …   Meyers Großes Konversations-Lexikon

  • Fifth generation computer — For the Fifth Generation of Chinese filmmakers, see Cinema of China The rise of the Fifth Generation .The Fifth Generation Computer Systems project (FGCS) was an initiative by Japan s Ministry of International Trade and Industry, begun in 1982,… …   Wikipedia

  • Programming language — lists Alphabetical Categorical Chronological Generational A programming language is an artificial language designed to communicate instructions to a machine, particularly a computer. Programming languages can be used to create programs that… …   Wikipedia

  • 17856 Gomes — Infobox Planet minorplanet = yes width = 25em bgcolour = #FFFFC0 apsis = name = Gomes symbol = caption = discovery = yes discovery ref = discoverer = discovery site = discovered = , designations = yes mp name = 17856 alt names = 1998 KL1 mp… …   Wikipedia

  • PTPR — Kernspintomographie. Papillärer Tumor der Pinealisregion bei einem 18 jährigen Patienten (sagittale T1 gewichtete Aufnahme nach Kontrastmittel) …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”