In a rule-based legal expert system, information is represented in the form of deductive rules within the knowledge base. |
Информация в системе представлена в форме дедуктивных правил в рамках базы знаний. |
This is not allowed in deductive databases. |
Это не допускается в дедуктивных базах данных. |
Datalog is the language typically used to specify facts, rules and queries in deductive databases. |
Datalog это язык, обычно используемый для указания фактов, правил и запросов в дедуктивных базах данных. |
Though I do agree that in today's postfeminist era it's unprecedentedly difficult and takes some serious deductive firepower and imagination. |
Хотя я согласен, что в сегодняшней постфеминистической эпохе это, как никогда, трудно и требует серьезных дедуктивных усилий и живого воображения. |
F-logic was originally developed for deductive databases, but is now most frequently used for semantic technologies, especially the semantic web. |
F-логика была первоначально разработана для дедуктивных баз данных, но теперь чаще используется для семантических технологий, особенно для Semantic Web. |
Special predicates: In Prolog, programmers can directly influence the procedural evaluation of the program with special predicates such as the cut, this has no correspondence in deductive databases. |
В Prolog программисты могут непосредственно влиять на процедурные оценки программы с помощью специальных предикатов, таких как cut, это не соответствует в дедуктивных базах данных. |
Where, in a purely deductive argument, was there room for nature's surprises, for mechanisms that look nothing like what we imagine in our initial assumptions? |
Где в чисто дедуктивных рассуждениях и доказательствах есть место для сюрпризов, которые преподносит нам природа, для механизмов совершенно непохожих на те, что представлялись нам в наших первоначальных предположениях? |
Deductive databases and logic programming: Deductive databases reuse a large number of concepts from logic programming; rules and facts specified in the deductive database language Datalog look very similar to those in Prolog. |
Дедуктивные базы данных и логическое программирование: Дедуктивные базы данных используют большое количество концепций из логического программирования; правила и факты, указанные на языке дедуктивных баз данных. |