1

Тема: Программирование на основе формализма Description Logic

Существует ли реализация языка программирования, в основе которой лежит DL (или его расширение) - как Пролог с фразами Хорна?

Thumbs up Thumbs down

2

Re: Программирование на основе формализма Description Logic

Solvek пишет:

Существует ли реализация языка программирования, в основе которой лежит DL (или его расширение) - как Пролог с фразами Хорна?

Что вы понимаете под языком программирования здесь? Нечто, подлежащее  интерпретации или компиляции? Как тогда должна выглядеть программа на языке DL?
Может быть, то, что Вы ищете - здесь http://www.comlab.ox.ac.uk/people/ian.h … grosof.pdf

Thumbs up +2 Thumbs down