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