Пролог тілі: логикалық программалау, ықтималды және жуықты тұжырымдау мен семантикалық желілердің классификациясы

Скачать

ҚАЗАҚСТАН РЕСПУБЛИКАСЫНЫҢ БІЛІМ ЖӘНЕ ҒЫЛЫМ МИНИСТРЛІГІ Семей қаласының Шәкәрім атындағы мемлекеттік университеті

Классификациялау программасы Ықтималды тұжырымдау Жуықты тұжырымдау

Пролог тілі логикалық программалаудың тілдері сипатын көрсетуші және Basec, Fortran, Pascal, Си++ алгоритімдік тілдерден келесі қасиеттермен ерекшеленеді. Пролок есептеу және графиктікке арналған, ол логикалық ой түріндегі процессін модельдеуге арналған. Пролок программиске жеке ойлау стилінде процедуралық жеке тіліне үйренгендерге қиындау. Сондықтан пролокқа өтуге талпынбайды бірақта көп елдерде практикалық түрде қолдану өте көп. Пролок тілі математикалық логиканы оқып білуге болмайды. Прогламмалау тілінде келесі пролоктардан тұрады:

Объек туралы фактілерді тікелей хабарламасы жэне олар арасында.

Объектілер арасындагы байланыстың ережелерін анықтау

Объектілер туралы жэне олар арасындағы қатынас туралы сұрақтардың құрылуы

Семантикалық желінің бірнеше классификациясын ұғынуға болады, ұғымдар қатынас типтерімен байланысқан. Құрамы бойынша қатынас типтері:

Пролог тілі логикалық программалау тілдерінің өкілі болып табылады және алгоритмдерді құруға арналған Бейсик, Фортран, Паскаль, Си дәстүрлі программалау тілдеріне қарағанда елеулі ерекшеліктері бар:

• Іс жүргізу
• Автоматтандыру, Техника
• Алғашқы әскери дайындық
• Астрономия
• Ауыл шаруашылығы
• Банк ісі
• Бизнесті бағалау
• Биология
• Бухгалтерлік іс
• Валеология
• Ветеринария
• География
• Геология, Геофизика, Геодезия
• Дін
• Ет, сүт, шарап өнімдері
• Жалпы тарих
• Жер кадастрі, Жылжымайтын мүлік
• Журналистика
• Информатика
• Кеден ісі
• Маркетинг
• Математика, Геометрия
• Медицина
• Мемлекеттік басқару
• Менеджмент
• Мұнай, Газ
• Мұрағат ісі
• Мәдениеттану
• ОБЖ (Основы безопасности жизнедеятельности)
• Педагогика
• Полиграфия
• Психология
• Салық
• Саясаттану
• Сақтандыру
• Сертификаттау, стандарттау
• Социология, Демография
• Спорт
• Статистика
• Тілтану, Филология
• Тарихи тұлғалар
• Тау-кен ісі
• Транспорт
• Туризм
• Физика
• Философия
• Халықаралық қатынастар
• Химия
• Экология, Қоршаған ортаны қорғау
• Экономика
• Экономикалық география
• Электротехника
• Қазақстан тарихы
• Қаржы
• Құрылыс
• Құқық, Криминалистика
• Әдебиет
• Өнер, музыка
• Өнеркәсіп, Өндіріс