Полученные данные в виде файлов поступают на вход модуля построения логической модели ,
В нашем приложении этот модуль позволяет декларативно задать правила для преобразования данных в предикаты .
Полученные данные в виде файлов поступают на вход модуля построения логической модели , где формируются домены и предикаты .
В нашем приложении этот модуль позволяет декларативно задать правила для преобразования данных в предикаты .