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)

Related topics

Related topics

3 relations
Concurrent logic programmingKL0Prolog

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2017
Review
2017
Impact of Knowledge Sharing and Leakage on Innovative Performance
Organizations share knowledge in order to achieve its strategic objectives and enhance innovative performance, most important… 
Highly Cited
2004
Highly Cited
2004
Filtering TOBIAS Combinatorial Test Suites
TOBIAS is a combinatorial testing tool, aimed at the production of large test suites. In this paper, TOBIAS is applied to… 
1999
1999
Linearity Analysis of Concurrent Logic Programs
  • K. Ueda
  • WOID@ICLP
  • 1999
  • Corpus ID: 5206220
1997
1997
Slicing Concurrent Logic Programs
Program slicing has been widely studied for imperative programs, but for logic programs it is just starting. In this paper we… 
Review
1995
Review
1995
Programming In Concurrent Logic Languages
The authors survey concurrent logic languages, which expand Prolog by dropping its built-in sequential search order. These… 
1995
1995
Model Generation Theorem Proving with Interval Constraints
We investigate how the deduction paradigm of model generation theorem proving can be enhanced with interval-and extraval-based… 
1995
1995
Andorra-I compilation
Andorra-I is an experimental parallel Prolog system which transparently exploits both dependent and-parallelism and or… 
1994
1994
A Portable and Efficient Implementation of KL1
A portable implementation scheme of a concurrent logic programming language KL1 by compiling it into C language code is… 
Highly Cited
1993
Highly Cited
1993
Automatic Generation of Some Results in Finite Algebra
This is a report of the application of the Model Generation Theorem Prover developed at ICOT to problems in the theory of finite… 
1993
1993
Message-oriented parallel implementation of Moded Flat GHC
We proposed in Ref. 5) a new,message-oriented implementation technique for Moded Flat GHC that compiled unification for data… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)