Без заголовка

Да, это именно онтологически-ориентированное программирование в GO!, но justy_tylor не любит semantic web онтологии (и я его в этом поддерживаю). Кстати, половина разработчиков ISO 15926 утверждают, что OWL -- это отход на 20 лет назад с точки зрения конструирования нормального онтологического представления данных. Насколько я понимаю, фишка justy_tylor в том, что он хочет брать за основу выражения онтологии прототипную теорию понятий, хотя и в довольно раннем изводе (Lakoff). В этой теории понятий осуществляется контроль для привязки к базовому уровню восприятия (манипулирование соразмерными человеку объектами в пространстве "внутри головы") человека, а не просто порождаются эффективные математически произвольные конструкты языка. Ну, и он хочет поработать с проблемой класса-экземпляра (во всех языках класс и экземпляр класса отличаются в поведении с точки зрения онтологического статуса, в прототипной теории поняний всё с этим по-другому), а это сводится к работе с "временами" (компиляции, макроподстановки, оценивания, исполнения и т.д.). Ну, и все эти "прологи" после этого становятся просто библиотеками каких-то методов вычисления, макроподстановки, оценивания, исполнения, легко подшиваемыми сбоку.