Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2017
Review
2017
Organizations share knowledge in order to achieve its strategic objectives and enhance innovative performance, most important… 
2014
2014
In this paper, we study the Gromov–Witten theory of the Hilbert schemes X[n] of points on a smooth projective surface X with… 
1999
1998
1998
Model-generation based theorem provers such as SATCHMO and MGTP suffer from a combinatorial explosion of the search space caused… 
1997
1997
Program slicing has been widely studied for imperative programs, but for logic programs it is just starting. In this paper we… 
1995
1995
We investigate how the deduction paradigm of model generation theorem proving can be enhanced with interval-and extraval-based… 
Review
1995
Review
1995
The authors survey concurrent logic languages, which expand Prolog by dropping its built-in sequential search order. These… 
1995
1995
Tempo is a logic programming language that has recently been designed with the aim of allowing concurrent programs to be written… 
1993
1993
We proposed in Ref. 5) a new,message-oriented implementation technique for Moded Flat GHC that compiled unification for data…