Kernel Language 0 (KL0) is a sequential
logic programming language based on
Prolog, used in the
ICOT Fifth generation computer project.
See also
*
Comparison of Prolog implementations
*
Prolog syntax and semantics
The syntax and semantics of Prolog, a programming language, are the sets of rules that define how a Prolog program is written and how it is interpreted, respectively. The rules are laid out in ISO standard ISO/IEC 13211''ISO/IEC 13211: Informati ...
References
*
Prolog programming language family
Japanese inventions
{{compu-lang-stub