KL1 - KL1

KL1 , ou Kernel Idioma 1 é uma experimental E-paralela versão do KL0 desenvolvido para o ICOT Quinta Geração informática projeto. KL1 é uma implementação do Flat GHC (um subconjunto da linguagem Guarded Horn Clauses de Kazunori Ueda), tornando-o uma variante do Prolog paralelizada .

Referências

links externos

  • A KLIC Association , casa do compilador KLIC KL1 para C - última atualização por volta de 1999. (O domínio klic.org expirou e foi substituído por uma empresa de presentes em algum momento entre 2010 e 2012; o link acima foi ajustado para apontar ao máximo cópia recente no Internet Archive .)

Leitura adicional

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