 |
| |||
| отрицание как противоречие (правило в логическом программировании; см. напр., Introduction to logic programming by Ghristopher John Hogger ssn) | |||
|
| |||
| отрицание как противоречие (правило в логическом программировании; см. напр., Introduction to logic programming by Ghristopher John Hogger ssn) | |||