About: 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.

Property	Value
dbpprop:abstract	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.
dbpprop:hasPhotoCollection	http://www4.wiwiss.fu-berlin.de/flickrwrappr/photos/KL1
dbpprop:reference	http://www.klic.org
rdf:type	http://dbpedia.org/class/yago/ComputerLanguages
rdfs:comment	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.
rdfs:label	KL1
owl:sameAs	freebase:KL1
skos:subject	dbpedia:Category:Prolog_programming_language_family
foaf:page	http://en.wikipedia.org/wiki/KL1
is dbpprop:influenced of	dbpedia:Prolog
is owl:sameAs of	yago:KL1