Язык спецификаций d0sl

d0sl - это семантический язык для записи логических правил (или предикатов). d0sl разработан как максимально простой, но достаточный для записи всех логических операций, в соответствии с математической теорией семантического моделирования.
d0sl может быть легко расширен функциями и объектами, специфичными для конкретной области. Таким образом, d0sl сам по себе является DSL (domain specific language).
Для d0sl предусмотрен механизм расширения на уровне языка. Другими словами, для конкретных применений возможно строить иерархии DSL языков, которые преобразуются в d0sl и могут исполняться интерпертатором d0sl.