KL0

A sequential logic language based on Prolog, for the ICOT project, Japan.