KL0

KL0

Kernel Language 0 (KL0) is a sequential logic programming language based on Prolog, used in the ICOT Fifth generation computer project.

References


Wikimedia Foundation. 2010.

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

Look at other dictionaries:

  • Обращение времени —         математическая операция замены знака времени в уравнениях, описывающих развитие во времени какой либо физической системы (в уравнениях движения). Такая замена отвечает определённой симметрии, существующей в природе. А именно, все… …   Большая советская энциклопедия

  • Meson — Méson  Pour l’article homophone, voir Maison. Un méson est, en physique des particules, une particule composite (c’est à dire non élémentaire) composée d un nombre pair de quarks et d antiquarks. Sommaire 1 Propriétés …   Wikipédia en Français

  • Méson —  Pour l’article homophone, voir Maison. Un méson est, en physique des particules, une particule composite (c’est à dire non élémentaire) composée d un nombre pair de quarks et d antiquarks. Sommaire 1 Propriétés …   Wikipédia en Français

  • Mésons — Méson  Pour l’article homophone, voir Maison. Un méson est, en physique des particules, une particule composite (c’est à dire non élémentaire) composée d un nombre pair de quarks et d antiquarks. Sommaire 1 Propriétés …   Wikipédia en Français

  • Tabla de mesones — Anexo:Tabla de mesones Saltar a navegación, búsqueda Esta tabla presenta las características de algunos mesones. No es exhaustiva. Familia Símbolo Antipartícula Quarks Spin Masa (MeV/c²) S C B Vida media (s) Pión π+ π– ud̄ 0 139,6 0 …   Wikipedia Español

  • Anexo:Tabla de mesones — Esta tabla presenta las características de algunos mesones. No es exhaustiva. Familia Símbolo Antipartícula Quarks Spin Masa (MeV/c²) S C B Vida media (s) Pion π+ π– ud̄ 0 139,6 0 0 …   Wikipedia Español

  • ОНДУЛЯТОРНОЕ ИЗЛУЧЕНИЕ — электромагнитное излучение, испускаемое ускоренными заряж. ч цами в ондуляторах; излучение равномерно и прямолинейно движущегося осциллятора. Различные типы источников О. и., состоящих из ускорителя или накопителя ч ц (чаще эл нов) и ондулятора,… …   Физическая энциклопедия

  • Liste der Mesonen — → Hauptartikel: Meson Die folgenden Tabellen enthalten die Grundzustände aller bekannten und vorhergesagten pseudoskalaren (JP = 0−) und Vektormesonen (JP = 1−). Die in den Tabellen verwendenten Formelzeichen sind: I (Isospin), G (G Parität), J… …   Deutsch Wikipedia

  • 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… …   Wikipedia

  • Prolog — infobox programming language paradigm = Logic programming year = 1972 designer = Alain Colmerauer implementations = BProlog, ECLiPSe, Ciao Prolog, GNU Prolog, Quintus, SICStus, Strawberry, SWI Prolog, YAP Prolog, tuProlog dialects = ISO Prolog,… …   Wikipedia

Share the article and excerpts

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