 |
| Russian | English |
| архитектура тип "доска объявлений" | blackboard architecture (Alex_Odeychuk) |
| корневой тип | core theory (базовая теория; в терминологии ведущих языков программирования Alex_Odeychuk) |
| логика первого порядка с полиморфными типами | first-order logic with polymorphic types (Alex_Odeychuk) |
| обобщённый тип | parametrized sort (русс. перевод в терминологии ведущих языков программирования Alex_Odeychuk) |
| параметризованный тип | parametrized sort (Alex_Odeychuk) |
| тип правил | type of rules (Alex_Odeychuk) |
| фактовый тип | fact type (тип фактов в экспертной системе Alex_Odeychuk) |