Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,398,569 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
3 relations
Concurrent logic programming
KL0
Prolog
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
Mohammad. J. Adaileh
,
H. A. Alzeat
2017
Corpus ID: 55183010
Organizations share knowledge in order to achieve its strategic objectives and enhance innovative performance, most important…
Expand
2014
2014
The Gromov–Witten invariants of the Hilbert schemes of points on surfaces with pg > 0
Jianxun Hu
,
Wei-Ping Li
,
Zhenbo Qin
2014
Corpus ID: 119322040
In this paper, we study the Gromov–Witten theory of the Hilbert schemes X[n] of points on a smooth projective surface X with…
Expand
1999
1999
Linearity Analysis of Concurrent Logic Programs
K. Ueda
WOID@ICLP
1999
Corpus ID: 5206220
1998
1998
On the Relationship Between Non-Horn Magic Sets and Relevancy Testing
Y. Ohta
,
Katsumi Inoue
,
R. Hasegawa
CADE
1998
Corpus ID: 1157780
Model-generation based theorem provers such as SATCHMO and MGTP suffer from a combinatorial explosion of the search space caused…
Expand
1997
1997
Slicing Concurrent Logic Programs
Jianjun Zhao
,
Jingde Cheng
,
K. Ushijima
1997
Corpus ID: 14804815
Program slicing has been widely studied for imperative programs, but for logic programs it is just starting. In this paper we…
Expand
1995
1995
Model Generation Theorem Proving with Interval Constraints
Reiner Hähnle
,
R. Hasegawa
,
Yasuyuki Shirai
1995
Corpus ID: 18689253
We investigate how the deduction paradigm of model generation theorem proving can be enhanced with interval-and extraval-based…
Expand
Review
1995
Review
1995
Programming In Concurrent Logic Languages
Matthew M. Huntbach
,
G. Ringwood
IEEE Software
1995
Corpus ID: 40532880
The authors survey concurrent logic languages, which expand Prolog by dropping its built-in sequential search order. These…
Expand
1995
1995
Derivation of Concurrent Algorithms in Tempo
Steve Gregory
International Workshop/Symposium on Logic-based…
1995
Corpus ID: 7394204
Tempo is a logic programming language that has recently been designed with the aim of allowing concurrent programs to be written…
Expand
1993
1993
Message-oriented parallel implementation of Moded Flat GHC
K. Ueda
,
M. Morita
New generation computing
1993
Corpus ID: 722071
We proposed in Ref. 5) a new,message-oriented implementation technique for Moded Flat GHC that compiled unification for data…
Expand
Review
1993
Review
1993
An overview and appraisal of the Fifth Generation Computer System project
R. V. D. Riet
Future generations computer systems
1993
Corpus ID: 33133201
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)
ACCEPT & CONTINUE