В учебнике излагается полный набор классических и новейших инструментов логического программирования, а также парадигмы функционального, обобщенного, императивного и объектно-ориентированного программирования, органически вошедшие в Visual Prolog 7.5. Рассматриваются основные способы представления и обработки графов, деревьев и массивов, инструменты профессионального программирования. Приводятся...

ISBN: 978-5-9775-3487-1
Издательство: BHV-СПб
Дата выхода: ноябрь 2015

Рассмотрены теоретические основы логического программирования. Даны примеры и описание предметной области с помощью логических моделей. Показана связь базовых понятий логики предикатов и основных конструкций языка логического программирования Пролог. Изложены основы логического программирования на примере языка Visual Prolog 7. Рассмотрены структура программы, алгоритм работы интерпретатора, ввод -...

ISBN: 978-5-9912-0194-0
Издательство: Горячая линия - Телеком
Дата выхода: январь 2013

ISBN: 978-5-9912-0415-6
Издательство: Горячая линия - Телеком
Дата выхода: сентябрь 2014

High Quality Content by WIKIPEDIA articles! Visual Prolog, also formerly known as PDC Prolog and Turbo Prolog, is a strongly typed object-oriented extension of Prolog. As Turbo Prolog it was marketed by Borland, but it is now developed and marketed by the Danish firm Prolog Development Center (PDC) that originally developed it. Visual Prolog can build Microsoft Windows GUI-applications, console applications, DLLs (dynamic link libraries), and CGI-programs. It can also link to COM components and to databases by means of ODBC. Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.

ISBN: 978-6-1309-1841-5
Издательство: Книга по требованию
Дата выхода: июль 2011

High Quality Content by WIKIPEDIA articles! Visual Prolog, also formerly known as PDC Prolog and Turbo Prolog, is a strongly typed object-oriented extension of Prolog. As Turbo Prolog it was marketed by Borland, but it is now developed and marketed by the Danish firm Prolog Development Center (PDC) that originally developed it. Visual Prolog can build Microsoft Windows GUI-applications, console applications, DLLs (dynamic link libraries), and CGI-programs. It can also link to COM components and to databases by means of ODBC.

ISBN: 978-5-5113-1091-6

Данное учебное пособие посвящено разработке экспертных систем на языке логического программирования Visual Prolog Для представления знаний о предметной области выбрана продукционная модель. Материал учебного пособия основан на многолетнем опыте чтения курса лекций по таким дисциплинам как «Логическое программирование» и «Системы искусственного интеллекта». Одна из дисциплин - «Системы...

ISBN: 978-5-906923-40-0
Издательство: Clever
Дата выхода: май 2017

Книга посвящена наиболее распространенному в мире языку логического программирования Visual Prolog, предшественником и ближайшим "родственником" которого является широко известный Turbo Prolog. Рассматриваются математические основы логического программирования, история, идеи и методы этого направления науки, его применение в задачах искусственного интеллекта и экспертных системах. Описание Visual Prolog - языка и...

ISBN: 5-94157-156-9
Издательство: BHV-СПб
Дата выхода: январь 2003

Представление знаний было и остается одной из основных проблем при реализации систем искусственного интеллекта. Одним из мощных средств для описания предметной области в виде набора фактов и правил является язык логического программирования Prolog, основанный на теории предикатов первого порядка. Декларативная семантика языка Prolog позволяет использовать его для создания компьютерных программ в...

ISBN: 978-3-65998-997-1
Дата выхода: январь 2014

Изложены основы логического программирования на примере языка Visual Prolog. Рассмотрены описание предметной области и структура программы, алгоритм работы интерпретатора, ввод – вывод, приемы и средства организации интерактивных программ, вопросы недетерминированного программирования и управления выполнением программы, различные структуры данных и предикаты работы с ними. Книга содержит многочисленные...

ISBN: 978-5-9912-0033-2
Издательство: Горячая линия - Телеком
Дата выхода: август 2008

В учебнике излагается полный набор классических и новейших инструментов логического программирования, а также парадигмы функционального, обобщенного, императивного и объектно-ориентированного программирования, органически вошедшие в Visual Prolog 7.5. Рассматриваются основные способы представления и обработки графов, деревьев и массивов, инструменты профессионального программирования. Приводятся...

Дата выхода: май 2017

High Quality Content by WIKIPEDIA articles! Prolog++ is an object-oriented toolkit for the Prolog logic programming language. It allows classes and class hierarchies to be created within Prolog programs. Prolog++ was developed by Logic Programming Associates and first first released in 1989 for MS-DOS PCs. Support for other platforms was added, and a second version was released in 1995. A book about Prolog++ by [[Chris Moss] was published by Addison-Wesley in 1994. Two other approaches to object-oriented Prolog include PDC Visual Prolog (once known as Borland Turbo Prolog), SICStus Prolog and the almost implementation-neutral Logtalk framework. Данное издание не является оригинальным. Книга...

ISBN: 978-6-1309-1257-4
Издательство: Книга по требованию
Дата выхода: июль 2011

Research on program comprehension is important, because the amount of source code in mission-critical applications is increasing world-wide. As a solution for that challenge, a methodology with four stages is introduced. The first stage, GrammarWare, transforms the program into a symbolic form to function as a construction for the model, as the second stage, ModelWare. For the model the idea of an "atom" is presented to combine the benefits of objects for abstracting, and expressiveness of Prolog for tailoring and formalizing the model. The third stage, SimulationWare, implements a symbolic abstract machine, comparable with traditional Turing machine. With its computation model it enables symbolic analysis, which is comparable with...

ISBN: 978-3-6391-6833-4
Издательство: Книга по требованию
Дата выхода: июль 2011

Излагается история развития систем искусственного интеллекта (СИИ). Описываются основные модели представления знаний, необходимые для проектирования современных СИИ. Даются понятие, структура построения и классификация экспертной системы (ЭС). Приводятся основы теории нейрона и обучения нейронных сетей (НС). Рассматриваются элементная база современной архитектуры процессора NeuroMatrix® NM6403,6404 (JI1879BM1,...

ISBN: 5-9605-0033-7
Издательство: Десс
Дата выхода: октябрь 2006

Излагается история развития систем искусственного интеллекта (СИИ). Описываются основные модели представления знаний, необходимые для проектирования современных СИИ. Даются понятие, структура построения и классификация экспертной системы (ЭС). Приводятся основы теории нейрона и обучения нейронных сетей (НС). Рассматриваются элементная база современной архитектуры процессора Neuro Matrix® NM6403,6404 (JI1879BM1,...

ISBN: 978-5-86404-223-6
Издательство: Диалог МИФИ
Дата выхода: май 2008

Монография знакомит читателей с параметризованными типами данных, в которых типы элементов коллекций задаются в качестве параметров. Такой подход к программированию дает возможность реализации в единственном экземпляре обобщенного кода типовых алгоритмов, применимого для любых типов элементов коллекций, вместо дублирования аналогичного кода для различных конкретных типов элементов. Рассмотрены...

ISBN: 978-5-288-05485-3
Издательство: СПбГУ
Дата выхода: январь 2013