Wikipedia
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 implementation of Flat GHC (a subset of the Guarded Horn Clauses language by Kazunori Ueda), making it a parallelised Prolog variant.
KL1 (classification)
The KL1 Class is for paracanoe paddlers who have very limited or no trunk function and no leg function. A KL1 class paddler is able to apply force predominantly using the arms and/or shoulders. These athletes will likely also have poor sitting balance and typically need a seat with a high backrest. Eligible paddlers typically meet one of the following:
- Impaired range of motion
- Loss of muscle strength equivalent to spinal cord injury complete at T12 level.