Kernel Language 0.
A sequential logic language based on Prolog, used in the Japanese ICOT project.
(1994-11-18)
Try this search on Wikipedia, OneLook, Google