Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 236,654,814 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
2014
Review
2014
Statistically-based survey plans to estimate the concrete strength in existing RC buildings
N. Pereira
,
X. Romão
,
R. Delgado
2014
Corpus ID: 73631781
In the proposed study, a framework for the definition of a safety factor leading to a reliable estimate of the mean concrete…
Expand
2013
2013
Factors effecting participation rates in chronic disease self-management programmes.
M. Daley*
,
M. McDonald
,
J. Irwin
,
A. Abbott
2013
Corpus ID: 76399255
Question: What factors contribute to a lack of participation in community health care based Chronic Disease Self-Management (CDSM…
Expand
2012
2012
Inhibitory Effect of Exopolysaccharides Produced by Lactobacillus casei Strain KL1 from Tibetan Kefir on Proliferation of Human Colon Cancer Cells
Xing Shu-han
2012
Corpus ID: 88467664
In this study,exopolysaccharides(EPS) produced by Lactobacillus casei strain KL1,isolated from Tibetan Kefir,were purified and…
Expand
2007
2007
The Argument Dependence Net and Its Use in a Concurrent Logic Programming Environment
Jianjun Zhao
2007
Corpus ID: 9355124
This paper presents three types of primary program dependences in concurrent logic programs, and a dependence-based…
Expand
2004
2004
B>?GGBOF?L?EBD1< (LEPIDOPTERA: HESPERIOIDEA, PAPILIONOIDEA), SHIHLJ?;MXLVHOHJHGB
Butterfly Species
2004
Corpus ID: 89178917
2001
2001
A program dependence model for concurrent logic programs and its applications
Jianjun Zhao
,
Jingde Cheng
,
K. Ushijima
Proceedings IEEE International Conference on…
2001
Corpus ID: 2354912
The authors propose a program dependence model for concurrent logic programs. They present three types of primary program…
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
1994
1994
Mode Analysis of Arrays and Array Comprehensions
Barton C. Massey
,
E. Tick
ILPS Workshop: Implementation Techniques for…
1994
Corpus ID: 15794613
A scheme is presented to enable the mode analysis of concurrent logic programs manipulating arrays containing both ground and non…
Expand
1990
1990
Evaluation of Inter-processor Communication in the KL1 Implementation on the Multi-PSI
K. Nakajima
,
N. Ichiyoshi
International Conference on Parallel Processing
1990
Corpus ID: 47555133
This paper describes an e cient mechanism of inter-processor message transfer on loosely-coupled/message-base parallel processing…
Expand
1990
1990
A new external reference management and distributed unification for KL1
N. Ichiyoshi
,
K. Rokusawa
,
K. Nakajima
,
Y. Inamura
New generation computing
1990
Corpus ID: 2054897
This paper describes a new external reference management scheme for KL1, a committed choice logic programming language based on…
Expand