2зной
1ответ
Prolog - ASP 'not' to Prolog negate
1зной
1ответ
WARMR (ACE suite): исключить «подключенные» термины из частых шаблонов
1зной
1ответ
Возможно ли, чтобы все последствия данного предиката были истинными или ложными?
0зной
2ответ
Максимальный минимум и среднее значение в Datalog
2зной
1ответ
Обсуждение о программировании логической логики и программировании ответа на вызов
3зной
1ответ
Инвариантная индукция над роговыми предложениями с Z3py