Azərbaycanca AzərbaycancaБеларускі БеларускіDansk DanskDeutsch DeutschEspañola EspañolaFrançais FrançaisIndonesia IndonesiaItaliana Italiana日本語 日本語Қазақ ҚазақLietuvos LietuvosNederlands NederlandsPortuguês PortuguêsРусский Русскийසිංහල සිංහලแบบไทย แบบไทยTürkçe TürkçeУкраїнська Українська中國人 中國人United State United StateAfrikaans Afrikaans
Підтримка
www.wikidata.uk-ua.nina.az

SWI Prolog реалізація мови програмування Пролог яка найчастіше використовується в навчанні та програмуванні семантичної

SWI-Prolog

SWI-Prolog

SWI-Prolog реалізація мови програмування Пролог, яка найчастіше використовується в навчанні, та програмуванні семантичної павутини. Має багато функцій, зокрема бібліотеки для [en], багатонитевості, модульного тестування, GUI, інтерфейси до Java, ODBC та інші, [en], вебсервер, SGML, RDF, [en], інструменти для розробки (включно з IDE з графічним зневаджувачем та профайлером), та вичерпну документацію.

SWI-Prolog
ТипЛогічне програмування
Розробникd
Перший випуск1987
Стабільний випуск5.10.1
Операційна системаБагатоплатформність
Мова програмуванняC, C++
Доступні мовиАнглійська
ЛіцензіяLGPL
Репозиторійgithub.com/SWI-Prolog/swipl
Вебсайтswi-prolog.org

SWI-Prolog працює на платформах Unix, Windows, та Macintosh.

SWI-Prolog перебуває в постійній розробці з 1987. Його основним автором є Jan Wielemaker. Назва SWI успадкована від Sociaal-Wetenschappelijke Informatica ("Соціальна інформатика"), колишня назва групи в Університеті Амстердама, де працював Wielemaker. Назва групи була замінена на (англ. Human-Computer Studies).

Інтерфейс користувача

SWI-Prolog запускається командою 

swipl

або 

prolog

Спочатку він очікує лише запитів, кожен із яких закінчується крапкою. Спроба написати програму спричинить помилку: 

 ?- human(john). ERROR: Undefined procedure: human/1

Тут ?- - привітання системи. Означає що вона очікує запиту.

Програми зберігаються в файлах, і потім передаються інтерпретатору Пролога, за допомогою запиту 

?-consult(file).

який можна написати скорочено: 

?-[file].

Щоб ввести програму прямо з клавіатури, потрібно написати команду 

?-consult(user).

чи 

?-[user].

Тоді все аж до наступного натиснення Ctrl+D дописується в базу даних.

XPCE

XPCE багатоплатформенний [en] для SWI-Prolog, Lisp та інших динамічно типізованих мов. І хоча XPCE створювався як незалежний від мови, він отримав популярність в основному завдяки Прологу. Розробка інструментарію XPCE почалась теж у 1987 разом з SWI-Prolog.

Підтримує кнопки, меню, слайдери, закладки і інші базові віджети GUI. XPCE доступний на всіх платформах доступних для SWI-Prolog.

PceEmacs

PceEmacs вбудований редактор SWI-Prolog. PceEmacs — клон Emacs реалізований мовою Пролог (та XPCE). Підтримує правильні відступи, підсвітку синтаксису, перевірку синтаксису парсером.

JPL

JPL — двосторонній інтерфейс між Java та Prolog. Потребує SWI-Prolog та Java SDK, та встановлюється як елемент SWI-Prolog.

Див. також

Примітки

  1. . Архів оригіналу за 10 травня 2011. Процитовано 19 квітня 2011.
  2. . Архів оригіналу за 27 травня 2011. Процитовано 19 квітня 2011.
  3. . Архів оригіналу за 16 липня 2011. Процитовано 19 квітня 2011.
  4. . Архів оригіналу за 21 серпня 2010. Процитовано 19 квітня 2011.

Посилання

Вікіпідручник має книгу на тему
Пролог
  • SWI-Prolog website [ 5 грудня 2013 у Wayback Machine.]
  • XPCE: the SWI-Prolog native GUI library [Архівовано 25 червня 2013 у WebCite]

Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет

SWI Prolog realizaciya movi programuvannya Prolog yaka najchastishe vikoristovuyetsya v navchanni ta programuvanni semantichnoyi pavutini Maye bagato funkcij zokrema biblioteki dlya en bagatonitevosti modulnogo testuvannya GUI interfejsi do Java ODBC ta inshi en vebserver SGML RDF en instrumenti dlya rozrobki vklyuchno z IDE z grafichnim znevadzhuvachem ta profajlerom ta vicherpnu dokumentaciyu SWI PrologTipLogichne programuvannyaRozrobnikdPershij vipusk1987Stabilnij vipusk5 10 1Operacijna sistemaBagatoplatformnistMova programuvannyaC C Dostupni moviAnglijskaLicenziyaLGPLRepozitorijgithub com SWI Prolog swiplVebsajtswi prolog org Mediafajli u Vikishovishi SWI Prolog pracyuye na platformah Unix Windows ta Macintosh SWI Prolog perebuvaye v postijnij rozrobci z 1987 Jogo osnovnim avtorom ye Jan Wielemaker Nazva SWI uspadkovana vid Sociaal Wetenschappelijke Informatica Socialna informatika kolishnya nazva grupi v Universiteti Amsterdama de pracyuvav Wielemaker Nazva grupi bula zaminena na angl Human Computer Studies Interfejs koristuvachaSWI Prolog zapuskayetsya komandoyu swipl abo prolog Spochatku vin ochikuye lishe zapitiv kozhen iz yakih zakinchuyetsya krapkoyu Sproba napisati programu sprichinit pomilku human john ERROR Undefined procedure human 1 Tut privitannya sistemi Oznachaye sho vona ochikuye zapitu Programi zberigayutsya v fajlah i potim peredayutsya interpretatoru Prologa za dopomogoyu zapitu consult file yakij mozhna napisati skorocheno file Shob vvesti programu pryamo z klaviaturi potribno napisati komandu consult user chi user Todi vse azh do nastupnogo natisnennya Ctrl D dopisuyetsya v bazu danih XPCEXPCE bagatoplatformennij en dlya SWI Prolog Lisp ta inshih dinamichno tipizovanih mov I hocha XPCE stvoryuvavsya yak nezalezhnij vid movi vin otrimav populyarnist v osnovnomu zavdyaki Prologu Rozrobka instrumentariyu XPCE pochalas tezh u 1987 razom z SWI Prolog Pidtrimuye knopki menyu slajderi zakladki i inshi bazovi vidzheti GUI XPCE dostupnij na vsih platformah dostupnih dlya SWI Prolog PceEmacsPceEmacs vbudovanij redaktor SWI Prolog PceEmacs klon Emacs realizovanij movoyu Prolog ta XPCE Pidtrimuye pravilni vidstupi pidsvitku sintaksisu perevirku sintaksisu parserom JPLJPL dvostoronnij interfejs mizh Java ta Prolog Potrebuye SWI Prolog ta Java SDK ta vstanovlyuyetsya yak element SWI Prolog Div takozhProlog mova programuvannya Primitki Arhiv originalu za 10 travnya 2011 Procitovano 19 kvitnya 2011 Arhiv originalu za 27 travnya 2011 Procitovano 19 kvitnya 2011 Arhiv originalu za 16 lipnya 2011 Procitovano 19 kvitnya 2011 Arhiv originalu za 21 serpnya 2010 Procitovano 19 kvitnya 2011 PosilannyaVikipidruchnik maye knigu na temu Prolog SWI Prolog website 5 grudnya 2013 u Wayback Machine XPCE the SWI Prolog native GUI library Arhivovano 25 chervnya 2013 u WebCite

Дата публікації:
Топ