KL-0 seems more like the "bootstrap" member of a family of logic programming languages (or knowledge representation languages; the overlap is significant.) As such, it might be less notable than the family itself. At least, preliminary searches seem to suggest so. It's certainly of historical interest by way of its association with the underpinnings of Fifth Generation Project, to which Prolog owes most of its fame/notoriety (though of course that wouldn't be the basis for KL0's notability, since notability is not inherited.) Yakushima (talk) 14:29, 7 May 2012 (UTC)Reply
