Datalog

Определение

Декларативный язык запросов для дедуктивных баз данных, применяемый для логического вывода.

Где встречается

• 184. Почему естественный язык не подходит для сложного рассуждения

Навигация

• Индекс терминов
• Индекс разборов
• Оглавление