Да се изследва възможността за прилагане на ИСОЗ при създаване на среда за обучение по логическо програмиране. В тази връзка да се проучат и експериментират различни подходи и архитектури за създаване на ИСОЗ с приложение ...