KL0
HomePage
|
Recent Changes
|
Preferences
No diff available--this is the first major revision.
(no other diffs)
Kernel Language 0.
A sequential [logic language]
?
based on
Prolog
, used in the ICOT
?
project
This article (or an earlier version of it) contains material from
FOLDOC
, used with
permission
.