Программирование на языке Пролог для искусственного интеллекта
Архитектура ориентированная на типовые конфигурацииОсновные понятия
Система управляемая типовыми конфигурациями ( образцами)
Прологовские программы как системы управляемые образцами
Основной цикл работы
Пример составления программы
Процесс вычисления
Простой интерпретатор программ управляемых образцами
Простой интерпретатор для программ управляемых образцами
Простая программа для автоматического докаэательства теорем
Доказательство теоремы
Программа управляемая образцами для автоматического доказательства теорем
Преобразование пропозициональных
Проект
Резюме
Литература
Здоровье
Разговор о том, что человек может сделать для своего здоровья сам, лично. Это не про болезни, не про их лечение. Это про то, чтобы у вас не было болезней. На кой они вам? Ну а если все же недосмотрели и недомогание постучалось в ваш организм, есть множество безвредных способов изгнать с позором эту гниду.Айки-До
Аптека
Бег
Бильярд
Бодибилдинг
Бонсай
Велосипед
Вес
Витамины
Вода
Гимнастика
Гомеопатия
Горные лыжи
Спортивное питание
Терапия
Тибет
Ушу
Фармакология спорт
Гуг-Фу
Джиу-Джитцу
Долголетие
Домашний доктор
Драки
Дыхание
Дыхание холотропное
Заблуждения
Зрение
Зрение без очков
Иглоукалывание
Карате
Красота
Фехтование
Физиология
Физкультура
Фитнес
Фитотерапия
Курение
Лечебные травы
Лечения
Лечения Востока
Лечения народные
Массаж
Медицина
Пауэрлифтинг
Пилатес
Привычки
Профилактика
Рукопашный бой
Советы
Футбол
Фэншуй
Цигун
Энциклопедии
