Адаменко Логическое Программирование
Скачать книгу Логическое программирование и Visual Prolog. Книга посвящена наиболее. Книга: Логическое программирование и Visual Prolog в подлиннике. Автор: Анатолий Адаменко.
- Адаменко Логическое Программирование И Visual Prolog
- Адаменко Кучуков Логическое Программирование Скачать
Логическое программирование и Visual Prolog (c CD-ROM) Год выпуска: 2003 Автор: Анатолий Адаменко, Андрей Кучуков Издательство: BHV ISBN: 5-94157-156-9 Формат: DjVu Качество: OCR с ошибками Количество страниц: 990 Описание: Книга посвящена наиболее распространенному в мире языку логического программирования Visual Prolog, предшественником и ближайшим 'родственником' которого является широко известный Turbo Prolog. Рассматриваются математические основы логического программирования, история, идеи и методы этого направления науки, его применение в задачах искусственного интеллекта и экспертных системах. Описание Visual Prolog - языка и системы программирования, возможности которых значительно шире возможностей только лишь логического программирования - базируется на переводе фирменной документации Prolog Development Center (РОС). Последовательно и подробно рассмотрены вопросы установки системы, синтаксис языка, принципы, методы и особенности программирования, визуальная среда разработки, методы стыковки с другими широко используемыми языками программирования, вопросы создания графического интерфейса и баз данных, визуальное, логическое, процедурное, объектно-ориентированное и системное программирование на Visual Prolog.
Прилагается компакт-диск, содержащий дистрибутив системы, упражнениями примеры из книги. Для программистов, студентов и преподавателей вузов.
Предисловие Введение в Visual Prolog Часть I. МАТЕМАТИЧЕСКИЕ ОСНОВЫ ЛОГИЧЕСКОГО ПРОГРАММИРОВАНИЯ Глава 01. Дедуктивные системы Глава 02.
Исчисление предикатов и теории первого порядка Глава 03. Логический вывод в исчислении предикатов Часть II. ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ И ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ Глава 04. Искуственный интеллект Глава 05.
Экспертные системы Часть III.ОСНОВЫ ПРОЛОГА Глава 06. Введение в Пролог Глава 07. Примеры решения задач на языке Пролог Часть IV. ПРОГРАММИРОВАНИЕ НА VISUAL PROLOG Глава 08. Установка и начало работы Visual Prolog Глава 09. Возможности Visual Prolog Глава 10.
Основы языка Visual Prolog Глава 11. Унификация и поиск с возвратом Глава 12. Простые и составные объекты Глава 13. Повтор и рекурсия Глава 14.
Списки и рекурсия Глава 15. Внутренняя база фактов Visual Prolog Глава 16.
Золушка фильм 2011. Двухсерийный фильм «Золушка» (2011) — итальянская телеверсия знаменитой и любимой сказки. Рим, 1946 год. Известный дирижер Валерио Де Лука уходит из жизни, оставив горячо любимую дочь.
Торрент трекер ТОРРЕНТИНО - скачайте программы ToonTrack - EZmix 2.0.5 STANDALONE, VST, RTAS WIN OSX x86 x64 2013 через. Мы приветствуем и благодарим Вас за посещение нашего сайта! У нас Вы найдете все самое. Toontrack - EZMix 2.0.9 STANDALONE, VST, AU WIN.OSX x86 x64 [2014] » Плагины для обработки звука » Скачать торрент. Toontrack EZmix 2 2.0.8 (build 7443) + All Expansions EZmix — это мощный инструмент для сведения и мастеринга.Этот. EZmix от ToonTrack - одновременно простой и мощный плагин, инструмент миксинга, который дает Вам. Ezmix 2 обзор.
Арифметические вычисленя и сравнения Глава 17. Более сложные приемы программирования Глава 18. Классы и объекты Глава 19. Запись, чтение и файлы Глава 20. Обработка строк в Visual Prolog Глава 21. Внешние базы данных в Visual Prolog Глава 22. Программирование на системном уровне Глава 23.
Систематический обзор языка Visual Prolog Глава 24. Интерфейс с другими языками Часть V. РАЗРАБОТКА ГРАФИЧЕСКОГО ИНТЕРФЕЙСА ПОЛЬЗОВАТЕЛЯ Глава 25. Создание программы с графическим интерфейсом Глава 26.
Средства создания графичского интерфейса Часть VI. ВОЗМОЖНОСТИ ВИЗУАЛЬНОЙ СРЕДЫ РАЗРАБОТКИ Глава 27. Особенности визуальной среды разработки для опытного пользователя Часть VII. ПРИЛОЖЕНИЯ Приложение 1.
Описание прикладных пакетов, облегчающих создание VPI-программ Приложение 2. Примеры программ на языке Пролог Приложение 3.
Адаменко Логическое Программирование И Visual Prolog
Medication Assistant - медицина, основанная на доказательствах Приложение 4. Обратный метод поиска вывода Приложение 5. Описание компакт-диска Список литературы Предметный указатель В релиз включён образ диска, прилагаемого к книге. Описание компакт-диска к книге А. Кучукова 'Логическое программирование и Visual Prolog'. Каталог APPS содержит несколько примеров приложений, а также ссылки на Web-описания других коммерческих приложений, написанных на Visual Prolog.
Каталог INSTALL - основной каталог диска, содержащий файл SETUP.EXE, который необходимо запустить для установки Windows-версии Visual Prolog. Каталог LINUX содержит файлы, необходимые для инсталляции Linux-версии Visual Prolog. Каталог RUN содержит инсталлированную версию Visual Prolog для запуска VDE с компакт-диска; файл запуска RUN BIN WIN 32 vip.exe. VDE в этом случае будет видеть все необходимые включаемые файлы и библиотеки. Каталог SCO содержит файлы, необходимые для инсталляции UNIX-версии Visual Prolog.
Каталог SHAREW содержит несколько полезных свободно распространяемых программ. Каталог INTRO.HTM - стартовый файл HTML системы описания Visual Prolog версии 5.2, поставляемой на диске.
. Логи́ческое программи́рование —, основанная на автоматическом доказательстве теорем, а также раздел, изучающий принципы логического вывода информации на основе заданных фактов и правил вывода. Логическое программирование основано на теории и аппарате с использованием математических принципов резолюций. Самым известным языком логического программирования является. Первым языком логического программирования был язык, в котором была заложена возможность автоматического вывода результата из данных и заданных правил перебора вариантов (совокупность которых называлась планом). Planner использовался для того, чтобы понизить требования к вычислительным ресурсам (с помощью бэктрекинга — ) и обеспечить возможность вывода фактов, без активного использования.
Затем был разработан язык, который не требовал плана перебора вариантов и был, в этом смысле, упрощением языка. От языка Planner также произошли логические языки программирования,. Языки программирования, и произошли уже от языка. На базе языка было разработано также несколько альтернативных языков логического программирования, не основанных на методе поиска с возвратами), например, ). Литература. Иван Братко. Алгоритмы искусственного интеллекта на языке PROLOG = Prolog Programming For Artificial Intelligence. — М.:, 2004. — С. 640. —.
Анатолий Адаменко, Андрей Кучуков. Логическое программирование и Visual Prolog (с CD). — СПб.:, 2003. — С. 990. —.
John McCarthy. Programs with Symposium on Mechanization of Thought Processes. National Physical Laboratory. Teddington, England. Fisher Black.
A deductive question answering system Harvard University. James Slagle. Experiments with a Deductive Question-Answering Program CACM.
December, 1965. Cordell Green. Application of Theorem Proving to Problem Solving IJCAI 1969.
Бизнес план 2012. Carl Hewitt. Planner: A Language for Proving Theorems in Robots IJCAI 1969. Gerry Sussman and Terry Winograd. AI Memo No, 203, MIT Project MAC, July 1970. Carl Hewitt. Procedural Embedding of Knowledge In Planner IJCAI 1971. Terry Winograd.
MIT AI TR-235. January 1971. Bruce Anderson. Documentation for LIB PICO-PLANNER School of Artificial Intelligence, Edinburgh University. 1972. Bruce Baumgart. Micro-Planner Alternate Reference Manual Stanford AI Lab Operating Note No.
67, April 1972. Julian Davies. Popler 1.6 Reference Manual University of Edinburgh, TPU Report No. Jeff Rulifson, Jan Derksen, and Richard Waldinger.
Адаменко Кучуков Логическое Программирование Скачать
QA4, A Procedural Calculus for Intuitive Reasoning SRI AI Center Technical Note 73, November 1973. Robert Kowalski Predicate Logic as Programming Language Memo 70, Department of Artificial Intelligence, Edinburgh University. Drew McDermott and Gerry Sussman. MIT AI Memo 259A.
January 1974. Earl Sacerdoti, et al. QLISP: A Language for the Interactive Development of Complex Systems AFIPS National Computer Conference. Bill Kornfeld and Carl Hewitt.
The Scientific Community Metaphor IEEE Transactions on Systems, Man, and Cybernetics. January 1981. Bill Kornfeld.
The Use of Parallelism to Implement a Heuristic Search IJCAI 1981. Bill Kornfeld. Parallelism in Problem Solving MIT EECS Doctoral Dissertation. Bill Kornfeld. Combinatorially Implosive Algorithms CACM.
1982. Carl Hewitt. The Challenge of Open Systems Byte Magazine. Robert Kowalski.
The limitation of logic Proceedings of the 1986 ACM fourteenth annual conference on Computer science. Ehud Shapiro (Editor). Concurrent Prolog MIT Press. Robert Kowalski. The Early Years of Logic Programming CACM.
January 1988. Ehud Shapiro.
The family of concurrent logic programming languages ACM Computing Surveys. September 1989. Carl Hewitt and Gul Agha.
Guarded Horn clause languages: are they deductive and Logical? International Conference on Fifth Generation Computer Systems, Ohmsha 1988.
Also in Artificial Intelligence at MIT, Vol. MIT Press 1991. Shunichi Uchida and Kazuhiro Fuchi Proceedings of the FGCS Project Evaluation Workshop Institute for New Generation Computer Technology (ICOT).