Разделы
Счетчики
Вывод (Inference) - получение новых информационных единиц из ранее известных. Частным случаем вывода является логический вывод.
Ссылки