Swi-prolog бағдарламалау тілінде интеллектуалды жүйені құрастыру Интеллект

SWI-Prolog - XRSE графикалық құралдар жиынтығымен дамыған қуатты орта. Жүйенің өзегі GNU LGPL бойынша лицензияланған, GNU GPL жанындағы кітапханалар қосымша меншік қосымшаларда пайдалануға мүмкіндік береді. SWI-Prolog-дің дамуы 1987 жылы басталды және бүгінде ол ғылыми және білім беру мақсаттарында, сонымен қатар коммерциялық мақсаттарда кеңінен қолданылады.

SWI Prolog - бұл графикалық интерфейсті құруға ыңғайлы орта мен портативті кітапхананың арқасында өте танымал жүйе. SWI-Prolog, тілдің барлық дерлік енгізілімдері сияқты, көбіне Эдинбург Прологын жүзеге асырады, бірақ сонымен қатар ISO Prolog-дің жеке элементтерін қамтиды.

SWI-Prolog құрамына тез құрастырушы, профилятор, кітапханалар жиынтығы және С-модульдерін қосу үшін ыңғайлы интерфейс кіреді. Ол бірнеше UNIX платформаларында, мысалы, HP, IBM Linux, NeXT, OS / 2, Sun және Sparc үшін жүзеге асырылады.

SWI-Prolog - бұл көбінесе оқыту мен семантикалық веб-қосымшаларда қолданылатын Пролог бағдарламалау тілін ақысыз (ашық) жүзеге асыру. Бұл орындау мүмкіндіктердің бай жиынтығын ұсынады, шектеулі логикалық бағдарламалауға арналған кітапханалар, көп тармақты оқу, блокты тестілеу, GUI, Java бағдарламалау тіліне арналған интерфейс, ODBC және т.б., әдеби бағдарламалауды қолдайды, веб-серверді іске асыруды қамтиды, SGML, RDF, RDFS, әзірлеуші ​​құралдар (соның ішінде графикалық түзеткіш пен профильдегі IDE) және кең құжаттама.

SWI-Prolog Unix, Windows және Macintosh платформаларында жұмыс істейді.

SWI-Prolog 1987 жылдан бастап үнемі дамып келеді. Оны құрушы және негізгі әзірлеуші ​​- Ян Вилимейкер . SWI атауы Sociaal-Wetenschappelijke Informatica («Әлеуметтік ғылымдар информатикасы»), Вилимейкер жұмыс істейтін Амстердам университетіндегі топтың бастапқы атауы. Кейін бұл топтың атауы HCS (Human-Computer Studies) болып өзгертілді.

XPCE - SWI-Prolog, Lisp және басқа интерактивті динамикалық терілген бағдарламалау тілдеріне арналған GUI платформадан тәуелсіз құрал. XPCE белгілі бір бағдарламалау тілімен байланыстырылмаған деп ойластырылғанына қарамастан, бұл шеңбер Prolog-да танымал болды. XPCE графикалық кітапханасының дамуы 1987 жылы SWI-Prolog жұмысының басталуымен бірге басталды.

Түймелерді, мәзірлерді, жүгірткілерді, қойындыларды және басқа негізгі GUI виджеттерін қолдайды. SPI-Prolog қолдаған барлық платформаларда XPCE қол жетімді.

PceEmacs - SWI-Prolog-ге енген мәтіндік редактор. PceEmacs - бұл Прологта жазылған Emacs клоны (және XPCE). Ол автоматты түрде шегіністі, синтаксисті бөлектеу, SWI-Prolog талдағышына қоңырау шалу арқылы синтаксисті толық тексеруді, синглтон айнымалысы туралы ескертулерді және Пролог базасындағы бастапқы код негізінде алдын-ала анықтамаларды іздеуді қолдайды.

Пролог бағдарламасының құрылымы процедуралық тілде жазылған бағдарламаның құрылымынан өзгеше. Пролог бағдарламасы - ережелер мен фактілер жинағы. Мәселені шешуге осы ережелер мен фактілерді түсіндіру арқылы қол жеткізіледі. Бұл жағдайда қолданушыға есептеу процесін бақылау нәтижеге жету жолында қалай жүргізілетінін көрсету үшін нұсқаулықтардың егжей-тегжейлі тізбегін ұсынудың қажеті жоқ. Оның орнына, ол тек мәселенің мүмкін болатын шешімдерін анықтайды және бағдарламаны қажетті шешімді табуға мүмкіндік беретін фактілер мен ережелермен қамтамасыз етеді.

Мерзімі

SWI-Prolog тілдеріндегі негізгі базалық дизайн. Қамтиды:

Жай терминдер

Тұрақтылар

Атомдар mia, hit_this_Qb

Сандар [0-9]

X, Y, HitThisQ айнымалылар

Күрделі терминдер f (t_1, t_2, ..., t_n)

Айнымалылар

Айнымалы дегеніміз - уақыт пен кеңістіктегі мәліметтерді беру әдісі.

Айнымалы - деректерді сақтауға және оны күнделікті тәртіпке өткізуге мүмкіндік береді.

Еркін айнымалылар

Егер айнымалының мәні болмаса, айнымалы тегін болады.

Қатысты айнымалылар

Егер айнымалы мән алған болса ғана айнымалы анықталады (оны өзгерту мүмкін емес).