К моменту начала логического вывода в базе данных содержалось 4667 факта и 6 продукционных правил .
В качестве системы для сравнения была выбрана система DES ( Datalog Educational System ) , не использующая ДДР .
К моменту начала логического вывода в базе данных содержалось 4667 факта и 6 продукционных правил .
В качестве системы для сравнения была выбрана система DES ( Datalog Educational System ) , не использующая ДДР .