text: Таким образом, их можно использовать в качестве языков репрезентации знаний, и написание на этих языках сопровождается полностью автоматической проверкой на целостность и избыточность, ответов на запросы и т. д. Цели создания таких языков различны.