ТехноФорум

про эти две эти штуки хорошо рассказывается в книге "Тейз - Логический подход к искусственному интеллекту"