Application possibilities of constraint logic programming

Abstract

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

This paper represents the research regarding the use of constraint logic programming concept not only in the scientific purposes viz. AI development, but also in daily living. Here is the review of expert systems' internal structure - one of the direction of logical programming development, consideration of logic conclusion method and the following resolution rule, which are the basis of logic programming languages.There is a short history review of these languages' development also. The applied part is presented by examples of projects released in the constraint logic programming language.