. "Prolog is a logic programming language associated with artificial intelligence and computational linguistics. Prolog has its roots in first-order logic, a formal logic, and unlike many other programming languages, Prolog is intended primarily as a declarative programming language: the program logic is expressed in terms of relations, represented as facts and rules. A computation is initiated by running a query over these relations. The language was developed and implemented in Marseille, France, in 1972 by Alain Colmerauer with Philippe Roussel, based on Robert Kowalski's procedural interpretation of Horn clauses at University of Edinburgh. Prolog was one of the first logic programming languages and remains the most popular such language today, with several free and commercial implementations available. The language has been used for theorem proving, expert systems, term rewriting, type systems, and automated planning, as well as its original intended field of use, natural language processing. Modern Prolog environments support the creation of graphical user interfaces, as well as administrative and networked applications. Prolog is well-suited for specific tasks that benefit from rule-based logical queries such as searching databases, voice control systems, and filling templates."@en . "Prologo (angle Prolog, etimologie \"PROgramado en LOGiko\") estas programlingvo bazita sur la predikatkalkulo. En la 1970-aj jaroj, \u011Di estis uzata precipe en projektoj de artefarita intelekto en Japanio. (Ial, en Usono kaj E\u016Dropo oni preferis Lispon por la sama fako.) Programo en Prologo estas kolekto de asertoj kaj reguloj. La asertoj konsistas el predikatoj, logikaj kaj konstantoj, kiuj kune formas datumbazon. La reguloj havas la formon de . Malgra\u016D \u011Dia simpla kaj pure logika bazo, Prologo uzindas por diversaj specoj de programaro. Iam estis malvaste konata programo por instrui Esperanton al hispanparolantoj farita en Prologo. Prologo estas utila por (Constraint Logic Programming). Jen simpla montra programo kun klarigoj: %%%%% Asertojino(katrino). % Katrino estas ino.ino(elizabeto). % Elizabeto estas ino.ino(anabelo). % Anabelo estas ino.viro(georgo). % Georgo estas viro.viro(johano). % Johano estas viro.viro(benjameno). % Benjameno estas viro.ido(benjameno, georgo). % Benjameno estas ido de Georgo.ido(katrino, georgo). % Katrino estas ido de Georgo.ido(elizabeto, anabelo). % Elizabeto estas ido de Anabelo.gefratoj(georgo, anabelo). % Georgo kaj Anabelo estas gefratoj.%%%%% Regulojgefratoj(X,Y) :- ido(X,Z), ido(Y,Z), % Se X kaj Y havas saman patr(in)on X \\= Y. % kaj ne estas sama persono, % estas gefratoj.patro(X,Y) :- ido(Y,X), viro(X). % Se Y estas ido de X, kaj se X estas % viro, X estas la patro de Y.patrino(X,Y) :- ido(Y,X), ino(X). % Se Y estas ido de X, kaj se X estas % ino, X estas la patrino de Y.fratino(X,Y) :- ino(X), gefratoj(X,Y). % Se X estas ino, kaj se X kaj Y estas % gefratoj, X estas la fratino de Y.onklo(X,Y) :- gefratoj(X,Z), ido(Y,Z), % Se X kaj Z estas gefratoj, kaj se Y estas viro(X). % ido de Z, kaj se X estas viro, X estas % la onklo de Y.nevino(X,Y) :- ino(X), onklo(Y,X). % Se X estas ino, kaj se Y estas la onklo % de X, X estas la nevino de Y.gekuzoj(X,Y) :- ido(X,A), ido(Y,B), % Se X estas la ido de A, kaj se Y estas gefratoj(A,B). % ido de B, kaj se A kaj B estas gefratoj, % X kaj Y estas gekuzoj. Do, se oni tajpus patrino(anabelo, elizabeto)., la programo respondus Jes. Se oni tajpus fratino(benjameno, elizabeto)., la programo respondus Ne."@eo . "Prolog (Programa\u00E7\u00E3o L\u00F3gica) \u00E9 uma linguagem de programa\u00E7\u00E3o que se enquadra no paradigma de Programa\u00E7\u00E3o em L\u00F3gica Matem\u00E1tica. \u00C9 uma linguagem de uso geral que \u00E9 especialmente associada com a intelig\u00EAncia artificial e lingu\u00EDstica computacional. Consiste numa linguagem puramente l\u00F3gica, que pode ser chamada de Prolog puro, e numa linguagem concreta, a qual acrescenta o Prolog puro com componentes extra-l\u00F3gicos. O uso Prolog puro foi originalmente restrito em provas do teorema da resolu\u00E7\u00E3o com Cl\u00E1usulas de Horn do formato H :- B1, \u2026, Bn.."@pt . "Prolog"@eu . "Prolog (o PROLOG), proveniente del franc\u00E9s PROgrammation en LOGique,\u200B es un lenguaje de programaci\u00F3n l\u00F3gico e interpretado usado habitualmente en el campo de la Inteligencia artificial."@es . . "\u041F\u0440\u043E\u043B\u043E\u0301\u0433 (\u0444\u0440. Prolog, \u0430\u043D\u0433\u043B. Prolog) \u2014 \u043C\u043E\u0432\u0430 \u043B\u043E\u0433\u0456\u0447\u043D\u043E\u0433\u043E \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u0443\u0432\u0430\u043D\u043D\u044F \u0437\u0430\u0433\u0430\u043B\u044C\u043D\u043E\u0433\u043E \u043F\u0440\u0438\u0437\u043D\u0430\u0447\u0435\u043D\u043D\u044F, \u043F\u043E\u0432'\u044F\u0437\u0430\u043D\u0430 \u0437\u0456 \u0448\u0442\u0443\u0447\u043D\u0438\u043C \u0456\u043D\u0442\u0435\u043B\u0435\u043A\u0442\u043E\u043C \u0442\u0430 \u043C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u0447\u043D\u043E\u044E \u043B\u0456\u043D\u0433\u0432\u0456\u0441\u0442\u0438\u043A\u043E\u044E. \u041F\u0440\u043E\u043B\u043E\u0433 \u043C\u0430\u0454 \u043A\u043E\u0440\u0435\u043D\u0456 \u0432 \u043B\u043E\u0433\u0456\u0446\u0456 \u043F\u0435\u0440\u0448\u043E\u0433\u043E \u043F\u043E\u0440\u044F\u0434\u043A\u0443, \u043C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u0447\u043D\u0456\u0439 \u043B\u043E\u0433\u0456\u0446\u0456, \u0442\u0430, \u043D\u0430 \u0432\u0456\u0434\u043C\u0456\u043D\u0443 \u0432\u0456\u0434 \u0431\u0430\u0433\u0430\u0442\u044C\u043E\u0445 \u0456\u043D\u0448\u0438\u0445 \u043C\u043E\u0432 \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u0443\u0432\u0430\u043D\u043D\u044F, \u0454 \u0434\u0435\u043A\u043B\u0430\u0440\u0430\u0442\u0438\u0432\u043D\u043E\u044E: \u043B\u043E\u0433\u0456\u043A\u0430 \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u0438 \u0432\u0438\u0440\u0430\u0436\u0430\u0454\u0442\u044C\u0441\u044F \u0432 \u0442\u0435\u0440\u043C\u0456\u043D\u0430\u0445 \u0432\u0456\u0434\u043D\u043E\u0448\u0435\u043D\u044C, \u043F\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043B\u0435\u043D\u0438\u0445 \u044F\u043A \u0444\u0430\u043A\u0442\u0438 \u0442\u0430 \u043F\u0440\u0430\u0432\u0438\u043B\u0430. \u041E\u0431\u0447\u0438\u0441\u043B\u0435\u043D\u043D\u044F \u0456\u043D\u0456\u0446\u0456\u044E\u0454\u0442\u044C\u0441\u044F \u0437\u0430\u043F\u0443\u0441\u043A\u043E\u043C \u0437\u0430\u043F\u0438\u0442\u0443 \u043D\u0430\u0434 \u0446\u0438\u043C\u0438 \u0432\u0456\u0434\u043D\u043E\u0448\u0435\u043D\u043D\u044F\u043C\u0438. \u0426\u044E \u043C\u043E\u0432\u0443 \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u0443\u0432\u0430\u043D\u043D\u044F \u0441\u043F\u043E\u0447\u0430\u0442\u043A\u0443 \u0431\u0443\u043B\u043E \u0437\u0430\u0434\u0443\u043C\u0430\u043D\u043E \u0433\u0440\u0443\u043F\u043E\u044E \u043D\u0430\u0432\u043A\u043E\u043B\u043E \u0432 \u041C\u0430\u0440\u0441\u0435\u043B\u0456 \u043D\u0430 \u043F\u043E\u0447\u0430\u0442\u043A\u0443 1970-\u0445, \u0430 \u043F\u0435\u0440\u0448\u0443 \u0441\u0438\u0441\u0442\u0435\u043C\u0443 \u041F\u0440\u043E\u043B\u043E\u0433 \u0431\u0443\u043B\u043E \u0440\u043E\u0437\u0440\u043E\u0431\u043B\u0435\u043D\u043E \u0432 1972-\u043C\u0443 \u0410\u043B\u0430\u043D\u043E\u043C \u041A\u043E\u043B\u044C\u043C\u0435\u0440\u043E\u0435 \u0442\u0430 . \u041F\u0440\u043E\u043B\u043E\u0433 \u0431\u0443\u043B\u0430 \u043E\u0434\u043D\u0456\u0454\u044E \u0437 \u043F\u0435\u0440\u0448\u0438\u0445 \u043B\u043E\u0433\u0456\u0447\u043D\u0438\u0445 \u043C\u043E\u0432 \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u0443\u0432\u0430\u043D\u043D\u044F, \u0439 \u0437\u0430\u043B\u0438\u0448\u0430\u0454\u0442\u044C\u0441\u044F \u043D\u0430\u0439\u043F\u043E\u043F\u0443\u043B\u044F\u0440\u043D\u0456\u0448\u043E\u044E \u0441\u0435\u0440\u0435\u0434 \u0442\u0430\u043A\u0438\u0445 \u043C\u043E\u0432 \u0456 \u043D\u0430 \u0441\u044C\u043E\u0433\u043E\u0434\u043D\u0456, \u043C\u0430\u044E\u0447\u0438 \u0434\u0435\u043A\u0456\u043B\u044C\u043A\u0430 \u0431\u0435\u0437\u043A\u043E\u0448\u0442\u043E\u0432\u043D\u0438\u0445 \u0442\u0430 \u043A\u043E\u043C\u0435\u0440\u0446\u0456\u0439\u043D\u0438\u0445 \u0440\u0435\u0430\u043B\u0456\u0437\u0430\u0446\u0456\u0439. \u0407\u0457 \u0437\u0430\u0441\u0442\u043E\u0441\u043E\u0432\u0443\u0432\u0430\u043B\u0438 \u044F\u043A \u0434\u043B\u044F \u0434\u043E\u0432\u0435\u0434\u0435\u043D\u043D\u044F \u0442\u0435\u043E\u0440\u0435\u043C, \u0435\u043A\u0441\u043F\u0435\u0440\u0442\u043D\u0438\u0445 \u0441\u0438\u0441\u0442\u0435\u043C, \u0442\u0430\u043A \u0456 \u0434\u043B\u044F \u0457\u0457 \u043F\u043E\u0447\u0430\u0442\u043A\u043E\u0432\u043E\u0457 \u043E\u0431\u043B\u0430\u0441\u0442\u0456 \u043F\u0440\u0438\u0437\u043D\u0430\u0447\u0435\u043D\u043D\u044F, \u043E\u0431\u0440\u043E\u0431\u043A\u0438 \u043F\u0440\u0438\u0440\u043E\u0434\u043D\u043E\u0457 \u043C\u043E\u0432\u0438. \u0421\u0443\u0447\u0430\u0441\u043D\u0456 \u0441\u0435\u0440\u0435\u0434\u043E\u0432\u0438\u0449\u0430 \u041F\u0440\u043E\u043B\u043E\u0433\u0443 \u043F\u0456\u0434\u0442\u0440\u0438\u043C\u0443\u044E\u0442\u044C \u044F\u043A \u0441\u0442\u0432\u043E\u0440\u0435\u043D\u043D\u044F \u0433\u0440\u0430\u0444\u0456\u0447\u043D\u0438\u0445 \u0456\u043D\u0442\u0435\u0440\u0444\u0435\u0439\u0441\u0456\u0432 \u043A\u043E\u0440\u0438\u0441\u0442\u0443\u0432\u0430\u0447\u0430, \u0442\u0430\u043A \u0456 \u0430\u0434\u043C\u0456\u043D\u0456\u0441\u0442\u0440\u0430\u0442\u0438\u0432\u043D\u0456 \u0430\u0431\u043E \u043C\u0435\u0440\u0435\u0436\u0435\u0432\u0456 \u0437\u0430\u0441\u0442\u043E\u0441\u0443\u0432\u0430\u043D\u043D\u044F. \u041F\u0440\u043E\u043B\u043E\u0433 \u0434\u043E\u0431\u0440\u0435 \u043F\u0456\u0434\u0445\u043E\u0434\u0438\u0442\u044C \u0434\u043B\u044F \u0440\u043E\u0437\u0432'\u044F\u0437\u0430\u043D\u043D\u044F \u0441\u043F\u0435\u0446\u0438\u0444\u0456\u0447\u043D\u0438\u0445 \u0437\u0430\u0434\u0430\u0447, \u0449\u043E \u0432\u0438\u0433\u0440\u0430\u044E\u0301\u0442\u044C \u0432\u0456\u0434 \u043B\u043E\u0433\u0456\u0447\u043D\u0438\u0445 \u0437\u0430\u043F\u0438\u0442\u0456\u0432 \u043D\u0430 \u0431\u0430\u0437\u0456 \u043F\u0440\u0430\u0432\u0438\u043B, \u0442\u0430\u043A\u0438\u0445 \u044F\u043A \u043F\u043E\u0448\u0443\u043A \u0431\u0430\u0437\u0430\u043C\u0438 \u0434\u0430\u043D\u0438\u0445, \u0441\u0438\u0441\u0442\u0435\u043C\u0438 \u0433\u043E\u043B\u043E\u0441\u043E\u0432\u043E\u0433\u043E \u043A\u0435\u0440\u0443\u0432\u0430\u043D\u043D\u044F \u0442\u0430 \u0437\u0430\u043F\u043E\u0432\u043D\u0435\u043D\u043D\u044F \u0448\u0430\u0431\u043B\u043E\u043D\u0456\u0432."@uk . "Prolog"@ca . "yes"@en . "Prolog (uit het Frans \"programmation en logique\", \"programmeren met logica\") is een logische programmeertaal. De taal is gebaseerd op predicatenlogica en heeft een sterk declaratief karakter. In plaats van de stappen die tot de oplossing van een probleem leiden, worden de voorwaarden waaraan de oplossing moet voldoen in logische termen beschreven. Vandaar dat Prolog een (grotendeels) declaratieve taal is."@nl . . . . . "Prolog"@es . . "Prolog\uFF08Programming in Logic\u7684\u7F29\u5199\uFF09\u662F\u4E00\u79CD\u903B\u8F91\u7F16\u7A0B\u8BED\u8A00\u3002\u5B83\u5EFA\u7ACB\u5728\u903B\u8F91\u5B66\u7684\u7406\u8BBA\u57FA\u7840\u4E4B\u4E0A\uFF0C \u6700\u521D\u88AB\u8FD0\u7528\u4E8E\u81EA\u7136\u8BED\u8A00\u7B49\u7814\u7A76\u9886\u57DF\u3002\u73B0\u5728\u5B83\u5DF2\u5E7F\u6CDB\u7684\u5E94\u7528\u5728\u4EBA\u5DE5\u667A\u80FD\u7684\u7814\u7A76\u4E2D\uFF0C\u5B83\u53EF\u4EE5\u7528\u6765\u5EFA\u9020\u4E13\u5BB6\u7CFB\u7EDF\u3001\u81EA\u7136\u8BED\u8A00\u7406\u89E3\u3001\u667A\u80FD\u77E5\u8BC6\u5E93\u7B49\u3002"@zh . . . . . . . . . . . . "Prolog je logick\u00FD programovac\u00ED jazyk. Pat\u0159\u00ED mezi tzv. deklarativn\u00ED programovac\u00ED jazyky, ve kter\u00FDch program\u00E1tor popisuje pouze c\u00EDl v\u00FDpo\u010Dtu, p\u0159i\u010Dem\u017E p\u0159esn\u00FD postup, jak\u00FDm se k v\u00FDsledku program dostane, je ponech\u00E1n na libov\u016Fli syst\u00E9mu. Prolog se sna\u017E\u00ED o pokud mo\u017Eno abstraktn\u00ED vyj\u00E1d\u0159en\u00ED fakt\u016F a logick\u00FDch vztah\u016F mezi nimi s potla\u010Den\u00EDm imperativn\u00ED slo\u017Eky. Prolog je vyu\u017E\u00EDv\u00E1n p\u0159edev\u0161\u00EDm v oboru um\u011Bl\u00E9 inteligence a v po\u010D\u00EDta\u010Dov\u00E9 lingvistice (obzvl\u00E1\u0161t\u011B zpracov\u00E1n\u00ED p\u0159irozen\u00E9ho jazyka, pro n\u011Bj\u017E byl p\u016Fvodn\u011B navr\u017Een). Syntaxe jazyka je velice jednoduch\u00E1 a snadno pou\u017Eiteln\u00E1 pr\u00E1v\u011B proto, \u017Ee byl p\u016Fvodn\u011B ur\u010Den pro po\u010D\u00EDta\u010Dov\u011B nep\u0159\u00EDli\u0161 gramotn\u00E9 lingvisty. Prolog je zalo\u017Een na predik\u00E1tov\u00E9 logice prvn\u00EDho \u0159\u00E1du; konkr\u00E9tn\u011B se omezuje na Hornovy klauzule. B\u011Bh programu je pak p\u0159edstavov\u00E1n aplikac\u00ED dokazovac\u00EDch technik na zadan\u00E9 klauzule. Z\u00E1kladn\u00EDmi vyu\u017E\u00EDvan\u00FDmi p\u0159\u00EDstupy jsou unifikace, rekurze a backtracking. Prolog se dob\u0159e hod\u00ED pro specifick\u00E9 \u00FAlohy, kter\u00E9 t\u011B\u017E\u00ED z logick\u00FDch dotaz\u016F zalo\u017Een\u00FDch na pravidlech, jako je prohled\u00E1v\u00E1n\u00ED datab\u00E1z\u00ED, syst\u00E9my hlasov\u00E9ho ovl\u00E1d\u00E1n\u00ED a vypl\u0148ov\u00E1n\u00ED \u0161ablon."@cs . "\uD504\uB864\uB85C\uADF8(Prolog)\uB294 \uB17C\uB9AC\uD615 \uD504\uB85C\uADF8\uB798\uBC0D \uC5B8\uC5B4\uC774\uB2E4. \uC774\uB984\uC740 '\uB17C\uB9AC \uD504\uB85C\uADF8\uB798\uBC0D'\uC744 \uC758\uBBF8\uD558\uB294 \uD504\uB791\uC2A4\uC5B4: programmation en logique\uC5D0\uC11C \uC628 \uAC83\uC774\uB2E4. 1973\uB144 \uD504\uB791\uC2A4 \uB9C8\uB974\uC138\uC720\uB300\uD559\uAD50\uC758 (Alan Colmerauer)\uAC00 \uAC1C\uBC1C\uD55C \uC5B8\uC5B4\uB85C\uC11C, \uB17C\uB9AC\uC2DD\uC744 \uD1A0\uB300\uB85C \uD558\uC5EC \uC624\uBE0C\uC81D\uD2B8\uC640 \uC624\uBE0C\uC81D\uD2B8 \uAC04\uC758 \uAD00\uACC4\uC5D0 \uAD00\uD55C \uBB38\uC81C\uB97C \uD574\uACB0\uD558\uAE30 \uC704\uD574 \uC0AC\uC6A9\uD55C\uB2E4. \uD504\uB864\uB85C\uADF8\uB294 \uC220\uC5B4 \uB17C\uB9AC\uC2DD\uC744 \uD504\uB85C\uADF8\uB7A8, \uC99D\uBA85\uD558\uB294 \uAC83\uC744 \uACC4\uC0B0\uD55C\uB2E4\uB294 \uAC83\uC73C\uB85C \uAC04\uC8FC\uD558\uB294 \uAD00\uC810\uC5D0\uC11C \uC0C8\uB85C\uC6B4 \uACC4\uC0B0\uC758 \uAE30\uC220 \uD615\uD0DC\uB97C \uCDE8\uD558\uACE0 \uC788\uB2E4. \uC989, \uD504\uB85C\uADF8\uB7A8 \uC790\uCCB4\uB294 \uB17C\uB9AC\uC2DD\uC758 \uBAA8\uC591\uC73C\uB85C \uB9CC\uB4E4\uC5B4\uC9C0\uACE0, \uADF8 \uD504\uB85C\uADF8\uB7A8\uC744 \uC2E4\uD589\uD558\uB294 \uCC98\uB9AC\uACC4\uAC00 \uADF8 \uC99D\uBA85\uAE30\uB85C \uB418\uC5B4 \uC788\uB2E4. \uCD94\uB860 \uAE30\uAD6C\uB97C \uAC04\uACB0\uD558\uAC8C \uD45C\uD604\uD560 \uC218 \uC788\uAE30 \uB54C\uBB38\uC5D0 \uC778\uACF5\uC9C0\uB2A5\uC774\uB098 \uACC4\uC0B0 \uC5B8\uC5B4\uD559 \uBD84\uC57C, \uD2B9\uD788 \uD504\uB864\uB85C\uADF8\uAC00 \uB9CC\uB4E4\uC5B4\uC9C4 \uBAA9\uC801\uC774\uC5C8\uB358 \uC790\uC5F0\uC5B8\uC5B4 \uCC98\uB9AC \uBD84\uC57C\uC5D0\uC11C \uB9CE\uC774 \uC0AC\uC6A9\uB41C\uB2E4."@ko . . . "\u041F\u0440\u043E\u043B\u043E\u0433"@uk . . . "Prolog je logick\u00FD programovac\u00ED jazyk. Pat\u0159\u00ED mezi tzv. deklarativn\u00ED programovac\u00ED jazyky, ve kter\u00FDch program\u00E1tor popisuje pouze c\u00EDl v\u00FDpo\u010Dtu, p\u0159i\u010Dem\u017E p\u0159esn\u00FD postup, jak\u00FDm se k v\u00FDsledku program dostane, je ponech\u00E1n na libov\u016Fli syst\u00E9mu. Prolog se sna\u017E\u00ED o pokud mo\u017Eno abstraktn\u00ED vyj\u00E1d\u0159en\u00ED fakt\u016F a logick\u00FDch vztah\u016F mezi nimi s potla\u010Den\u00EDm imperativn\u00ED slo\u017Eky. Prolog je vyu\u017E\u00EDv\u00E1n p\u0159edev\u0161\u00EDm v oboru um\u011Bl\u00E9 inteligence a v po\u010D\u00EDta\u010Dov\u00E9 lingvistice (obzvl\u00E1\u0161t\u011B zpracov\u00E1n\u00ED p\u0159irozen\u00E9ho jazyka, pro n\u011Bj\u017E byl p\u016Fvodn\u011B navr\u017Een). Syntaxe jazyka je velice jednoduch\u00E1 a snadno pou\u017Eiteln\u00E1 pr\u00E1v\u011B proto, \u017Ee byl p\u016Fvodn\u011B ur\u010Den pro po\u010D\u00EDta\u010Dov\u011B nep\u0159\u00EDli\u0161 gramotn\u00E9 lingvisty. Prolog je zalo\u017Een na predik\u00E1tov\u00E9 logice prvn\u00EDho \u0159\u00E1du; konkr\u00E9tn\u011B se omezuje na Hornovy klauzule. B\u011Bh programu je pak p\u0159edstavov\u00E1n aplikac\u00ED dokazovac\u00EDch technik n"@cs . . "Prolog"@en . . . . "\u0628\u0631\u0648\u0644\u0648\u063A"@ar . . . . . . . "Prolog"@pt . . . . "Prolog"@zh . . . . . "23485"^^ . "\uD504\uB864\uB85C\uADF8(Prolog)\uB294 \uB17C\uB9AC\uD615 \uD504\uB85C\uADF8\uB798\uBC0D \uC5B8\uC5B4\uC774\uB2E4. \uC774\uB984\uC740 '\uB17C\uB9AC \uD504\uB85C\uADF8\uB798\uBC0D'\uC744 \uC758\uBBF8\uD558\uB294 \uD504\uB791\uC2A4\uC5B4: programmation en logique\uC5D0\uC11C \uC628 \uAC83\uC774\uB2E4. 1973\uB144 \uD504\uB791\uC2A4 \uB9C8\uB974\uC138\uC720\uB300\uD559\uAD50\uC758 (Alan Colmerauer)\uAC00 \uAC1C\uBC1C\uD55C \uC5B8\uC5B4\uB85C\uC11C, \uB17C\uB9AC\uC2DD\uC744 \uD1A0\uB300\uB85C \uD558\uC5EC \uC624\uBE0C\uC81D\uD2B8\uC640 \uC624\uBE0C\uC81D\uD2B8 \uAC04\uC758 \uAD00\uACC4\uC5D0 \uAD00\uD55C \uBB38\uC81C\uB97C \uD574\uACB0\uD558\uAE30 \uC704\uD574 \uC0AC\uC6A9\uD55C\uB2E4. \uD504\uB864\uB85C\uADF8\uB294 \uC220\uC5B4 \uB17C\uB9AC\uC2DD\uC744 \uD504\uB85C\uADF8\uB7A8, \uC99D\uBA85\uD558\uB294 \uAC83\uC744 \uACC4\uC0B0\uD55C\uB2E4\uB294 \uAC83\uC73C\uB85C \uAC04\uC8FC\uD558\uB294 \uAD00\uC810\uC5D0\uC11C \uC0C8\uB85C\uC6B4 \uACC4\uC0B0\uC758 \uAE30\uC220 \uD615\uD0DC\uB97C \uCDE8\uD558\uACE0 \uC788\uB2E4. \uC989, \uD504\uB85C\uADF8\uB7A8 \uC790\uCCB4\uB294 \uB17C\uB9AC\uC2DD\uC758 \uBAA8\uC591\uC73C\uB85C \uB9CC\uB4E4\uC5B4\uC9C0\uACE0, \uADF8 \uD504\uB85C\uADF8\uB7A8\uC744 \uC2E4\uD589\uD558\uB294 \uCC98\uB9AC\uACC4\uAC00 \uADF8 \uC99D\uBA85\uAE30\uB85C \uB418\uC5B4 \uC788\uB2E4. \uCD94\uB860 \uAE30\uAD6C\uB97C \uAC04\uACB0\uD558\uAC8C \uD45C\uD604\uD560 \uC218 \uC788\uAE30 \uB54C\uBB38\uC5D0 \uC778\uACF5\uC9C0\uB2A5\uC774\uB098 \uACC4\uC0B0 \uC5B8\uC5B4\uD559 \uBD84\uC57C, \uD2B9\uD788 \uD504\uB864\uB85C\uADF8\uAC00 \uB9CC\uB4E4\uC5B4\uC9C4 \uBAA9\uC801\uC774\uC5C8\uB358 \uC790\uC5F0\uC5B8\uC5B4 \uCC98\uB9AC \uBD84\uC57C\uC5D0\uC11C \uB9CE\uC774 \uC0AC\uC6A9\uB41C\uB2E4."@ko . . . . . . . . . . . . . . "Prolog (o PROLOG), proveniente del franc\u00E9s PROgrammation en LOGique,\u200B es un lenguaje de programaci\u00F3n l\u00F3gico e interpretado usado habitualmente en el campo de la Inteligencia artificial."@es . . "Prolog"@fr . . . . . . . . . . . . . . . . . . . . . . . . "Prolog (j\u0119zyk programowania)"@pl . . . . . . "Part 2: Modules-Edition 1 ()" . . . . . "Prolog"@en . . . . . . . . . . . . . "Prolog\uFF08\u30D7\u30ED\u30ED\u30B0\uFF09\u306F\u8AD6\u7406\u30D7\u30ED\u30B0\u30E9\u30DF\u30F3\u30B0\u8A00\u8A9E\u306E\u4E00\u3064\u3067\u3042\u308A\u3001\u8A72\u5F53\u5206\u91CE\u3067\u6700\u3082\u3088\u304F\u77E5\u3089\u308C\u3066\u3044\u308B\u8AD6\u7406\u578B\u8A00\u8A9E\u306E\u4EE3\u8868\u683C\u3067\u3042\u308B\u3002\u4E3B\u306B\u4EBA\u5DE5\u77E5\u80FD\u7814\u7A76\u3084\u8A08\u7B97\u8A00\u8A9E\u5B66\u3068\u306E\u95A2\u9023\u6027\u3092\u6301\u3064\u3002\u5B9A\u7406\u8A3C\u660E\u3001\u30A8\u30AD\u30B9\u30D1\u30FC\u30C8\u30B7\u30B9\u30C6\u30E0\u3001\u81EA\u52D5\u8A08\u753B\u3001\u81EA\u7136\u8A00\u8A9E\u51E6\u7406\u3068\u3082\u7E4B\u304C\u308A\u304C\u6DF1\u3044\u3002\u4E00\u968E\u8FF0\u8A9E\u8AD6\u7406\u3068\u5F62\u5F0F\u8AD6\u7406\u3092\u57FA\u790E\u306B\u3057\u3066\u3001\u4E8B\u5B9F\u7FA4\u3068\u898F\u5247\u7FA4\u306E\u8868\u73FE\u304A\u3088\u3073\u95A2\u4FC2\u306E\u89B3\u70B9\u306B\u7ACB\u3063\u305F\u5BA3\u8A00\u578B\u30D1\u30E9\u30C0\u30A4\u30E0\u306B\u6E96\u62E0\u3057\u3066\u304A\u308A\u3001\u305D\u306E\u95A2\u4FC2\u306B\u5247\u3063\u305F\u8CEA\u554F\u306B\u3088\u3063\u3066\u8A08\u7B97\u304C\u958B\u59CB\u3055\u308C\u308B\u3068\u3044\u3046\u6027\u8CEA\u3092\u6301\u3064\u3002 Prolog\u306F\u30011972\u5E74\u306B\u30DE\u30EB\u30BB\u30A4\u30E6\u5927\u5B66\u306E\u30A2\u30E9\u30F3\u30FB\u30AB\u30EB\u30E1\u30E9\u30A6\u30A2\u30FC\u3068\u30D5\u30A3\u30EA\u30C3\u30D7\u30FB\u30E9\u30C3\u30BB\u30EB\u306B\u3088\u3063\u3066\u958B\u767A\u3055\u308C\u305F\u3002\u30D5\u30E9\u30F3\u30B9\u8A9E\u306E\u300Cprogrammation en logique\u300D\u304C\u305D\u306E\u540D\u306E\u7531\u6765\u3067\u3042\u308B\u3002Prolog\u306E\u8A95\u751F\u306B\u306F\u30A8\u30C7\u30A3\u30F3\u30D0\u30E9\u5927\u5B66\u306E\u30ED\u30D0\u30FC\u30C8\u30FB\u30B3\u30EF\u30EB\u30B9\u30AD\u304C\u8003\u6848\u3057\u305F\u30DB\u30FC\u30F3\u7BC0\u304C\u5927\u304D\u304F\u5BC4\u4E0E\u3057\u3066\u3044\u308B\u3002\u30AB\u30EB\u30E1\u30E9\u30A6\u30A2\u30FC\u306B\u3088\u308B\u5143\u7956\u7248\u306F\u30DE\u30EB\u30BB\u30A4\u30E6Prolog\u3068\u547C\u3070\u308C\u3066\u3044\u308B\u3002\u305D\u306E\u5F8C\u3001\u30B3\u30EF\u30EB\u30B9\u30AD\u306E\u9580\u5F1F\u306E\u30C7\u30F4\u30A3\u30C3\u30C9\u30FB\u30EF\u30FC\u30EC\u30F3\u304C1977\u5E74\u306B\u6539\u8A02\u958B\u767A\u3057\u305F\u30A8\u30C7\u30A3\u30F3\u30D0\u30E9Prolog\uFF08DEC-10 Prolog\uFF09\u304C\u6A19\u6E96\u306B\u306A\u3063\u3066Prolog\u306F\u5E83\u304F\u666E\u53CA\u3057\u305F\u3002"@ja . . . . . . . . . "Prolog, ett programspr\u00E5k f\u00F6r logikprogrammering. Prolog skiljer sig fr\u00E5n de flesta andra programspr\u00E5k i och med att det bygger p\u00E5 logiska uttryck och inte p\u00E5 instruktioner f\u00F6r datorn. Prolog anv\u00E4nds fr\u00E4mst inom omr\u00E5dena artificiell intelligens och . Att programmera i Prolog liknar inte riktigt program skrivna i programspr\u00E5k som till exempel C; spr\u00E5ket \u00E4r uppbyggt s\u00E5 att man i sitt program definierar klausuler som returnerar sant eller falskt. Man st\u00E4ller sedan fr\u00E5gor till systemet som med hj\u00E4lp av de klausuler man definierat kan dra slutsatser och svara p\u00E5 fr\u00E5gor."@sv . . . . . "Prolog (Programmiersprache)"@de . . "Prolog"@el . . "Prolog (od francuskiego Programmation en Logique) \u2013 jeden z najpopularniejszych j\u0119zyk\u00F3w programowania logicznego. Prolog powsta\u0142 jako j\u0119zyk programowania s\u0142u\u017C\u0105cy do automatycznej analizy j\u0119zyk\u00F3w naturalnych, jest jednak j\u0119zykiem og\u00F3lnego zastosowania, szczeg\u00F3lnie dobrze sprawdzaj\u0105cym si\u0119 w programach zwi\u0105zanych ze sztuczn\u0105 inteligencj\u0105. Prolog w przeciwie\u0144stwie do wi\u0119kszo\u015Bci popularnych j\u0119zyk\u00F3w jest j\u0119zykiem deklaratywnym. Prolog opiera si\u0119 na rachunku predykatowym pierwszego rz\u0119du, jednak ogranicza si\u0119 tylko do klauzul Horna. Istniej\u0105 jednak wbudowane predykaty wy\u017Cszego rz\u0119du."@pl . . . . . . . . . . . . . "Prologo (angle Prolog, etimologie \"PROgramado en LOGiko\") estas programlingvo bazita sur la predikatkalkulo. En la 1970-aj jaroj, \u011Di estis uzata precipe en projektoj de artefarita intelekto en Japanio. (Ial, en Usono kaj E\u016Dropo oni preferis Lispon por la sama fako.) Programo en Prologo estas kolekto de asertoj kaj reguloj. La asertoj konsistas el predikatoj, logikaj kaj konstantoj, kiuj kune formas datumbazon. La reguloj havas la formon de . Prologo estas utila por (Constraint Logic Programming). Jen simpla montra programo kun klarigoj:"@eo . "Prolog (programspr\u00E5k)"@sv . . "Prolog est un langage de programmation logique. Le nom Prolog est un acronyme de PROgrammation en LOGique. Il a \u00E9t\u00E9 cr\u00E9\u00E9 par Alain Colmerauer et Philippe Roussel vers 1972 \u00E0 Luminy, Marseille. Le but \u00E9tait de cr\u00E9er un langage de programmation o\u00F9 seraient d\u00E9finies les r\u00E8gles logiques attendues d'une solution et de laisser le compilateur la transformer en s\u00E9quence d'instructions. L'un des gains attendus \u00E9tait une facilit\u00E9 accrue de maintenance des applications, l'ajout ou la suppression de r\u00E8gles au cours du temps n'obligeant pas \u00E0 r\u00E9examiner toutes les autres. Prolog est utilis\u00E9 en intelligence artificielle et dans le traitement linguistique par ordinateur (principalement langues naturelles). Ses r\u00E8gles de syntaxe et sa s\u00E9mantique sont simples et consid\u00E9r\u00E9es comme claires (un des objectifs poursuivis \u00E9tait de procurer un outil aux linguistes ignorant l\u2019informatique). Les premiers r\u00E9sultats obtenus avec Prolog suscit\u00E8rent quelque temps, dans les ann\u00E9es 1980, des recherches sur une cinqui\u00E8me g\u00E9n\u00E9ration, mat\u00E9rielle et logicielle, d'ordinateurs (nomm\u00E9e Cinqui\u00E8me g\u00E9n\u00E9ration japonaise en raison de l'engagement important du MITI sur le projet). L'effort engag\u00E9 fut important, les retomb\u00E9es plus modestes, Prolog restant un langage parmi d'autres dans la panoplie du programmeur. Prolog est bas\u00E9 sur le calcul des pr\u00E9dicats du premier ordre ; cependant il est restreint dans sa version initiale \u00E0 n\u2019accepter que les clauses de Horn (les versions modernes de Prolog acceptent des pr\u00E9dicats plus complexes, notamment avec le traitement de la n\u00E9gation par l'\u00E9chec). L\u2019ex\u00E9cution d\u2019un programme Prolog est effectivement une application du th\u00E9or\u00E8me prouvant par r\u00E9solution du premier ordre. Les concepts fondamentaux sont l\u2019unification, la r\u00E9cursivit\u00E9 et le retour sur trace. L'algorithme de r\u00E9solution de Prolog est bas\u00E9 sur une extension de la SLD-r\u00E9solution. On peut construire en Prolog une base de connaissances dans un ordre ind\u00E9termin\u00E9, puisque seules comptent les relations en pr\u00E9sence et non leur s\u00E9quence d'\u00E9criture. Prolog peut ensuite r\u00E9soudre des s\u00E9ries de probl\u00E8mes logiques relatifs \u00E0 une telle base de connaissances (notion base de donn\u00E9es d\u00E9ductive), probl\u00E8me similaire \u00E0 la recherche d'une issue (ou plusieurs) dans un labyrinthe de contraintes \u00E9tablies."@fr . . . . . . . "\u041F\u0440\u043E\u043B\u043E\u0433 (\u044F\u0437\u044B\u043A \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C\u0438\u0440\u043E\u0432\u0430\u043D\u0438\u044F)"@ru . . . . . . . "Prolog (Programa\u00E7\u00E3o L\u00F3gica) \u00E9 uma linguagem de programa\u00E7\u00E3o que se enquadra no paradigma de Programa\u00E7\u00E3o em L\u00F3gica Matem\u00E1tica. \u00C9 uma linguagem de uso geral que \u00E9 especialmente associada com a intelig\u00EAncia artificial e lingu\u00EDstica computacional. Consiste numa linguagem puramente l\u00F3gica, que pode ser chamada de Prolog puro, e numa linguagem concreta, a qual acrescenta o Prolog puro com componentes extra-l\u00F3gicos. O uso Prolog puro foi originalmente restrito em provas do teorema da resolu\u00E7\u00E3o com Cl\u00E1usulas de Horn do formato H :- B1, \u2026, Bn.. A aplica\u00E7\u00E3o do provador de teoremas trata estas cl\u00E1usulas como procedimentos para mostrar/resolver H, mostrar/resolver B1 and \u2026 and Bn. O Prolog puro foi ent\u00E3o estendido para incluir a nega\u00E7\u00E3o por falha, na qual condi\u00E7\u00F5es negativas da forma not(Bi) s\u00E3o mostradas por tentativa e falha para resolver as condi\u00E7\u00F5es positivas correspondentes Bi). O nome Prolog para a linguagem concreta foi escolhido por como uma abrevia\u00E7\u00E3o de \u201CPROgrammation en LOGique\u201D. Foi criada em meados de 1972 por Alain Colmerauer e Philippe Roussel, baseados no conceito de da interpreta\u00E7\u00E3o procedimental das cl\u00E1usulas de Horn. A motiva\u00E7\u00E3o para isso veio em parte da vontade de reconciliar o uso da l\u00F3gica como uma linguagem declarativa de representa\u00E7\u00E3o do conhecimento com a representa\u00E7\u00E3o procedimental do conhecimento, que era popular na Am\u00E9rica do Norte no final da d\u00E9cada de 1960 para in\u00EDcio de 1970. Muito do desenvolvimento moderno do Prolog veio dos projetos de computadores da quinta gera\u00E7\u00E3o (FGCS), que desenvolveu uma variante do Prolog chamada Kernel Language para seu primeiro sistema operacional. Apesar do longo tempo de desenvolvimento, Prolog ainda n\u00E3o \u00E9 uma linguagem port\u00E1vel, j\u00E1 que cada implementa\u00E7\u00E3o usa rotinas completamente diferentes e incompat\u00EDveis entre si. Por exemplo, um programa trivial que faz um loop de ler uma linha da console e escreve a mesma linha, terminando quando for entrada uma linha vazia, \u00E9 imposs\u00EDvel de ser escrito de forma que qualquer interpretador consiga rodar."@pt . "B-Prolog, Ciao, ECLiPSe, GNU Prolog, Poplog Prolog, P#, Quintus Prolog, SICStus, Strawberry, SWI-Prolog, Tau Prolog, tuProlog, WIN-PROLOG, XSB, YAP."@en . . . . . . . . . . . "Untyped"@en . . . . . "Teanga r\u00EDomhchl\u00E1raithe ardleibh\u00E9il a \u00FAs\u00E1idtear ar loighic mhatamaitici\u00FAil, go minic i bhfeidhmeanna intleachta saorga. Saothra\u00EDodh \u00ED in Aix-Marseille sa bhFrainc, Col\u00E1iste Impiri\u00FAil Londan, agus D\u00FAn \u00C9ideann. Cuireadh in ionad LISP do na feidhmeanna seo \u00ED, san Eoraip ar a laghad."@ga . . . . "Prolog (uit het Frans \"programmation en logique\", \"programmeren met logica\") is een logische programmeertaal. De taal is gebaseerd op predicatenlogica en heeft een sterk declaratief karakter. In plaats van de stappen die tot de oplossing van een probleem leiden, worden de voorwaarden waaraan de oplossing moet voldoen in logische termen beschreven. Vandaar dat Prolog een (grotendeels) declaratieve taal is."@nl . . . . "\u0397 Prolog \u03B5\u03AF\u03BD\u03B1\u03B9 \u03B3\u03BB\u03CE\u03C3\u03C3\u03B1 \u03B3\u03B5\u03BD\u03B9\u03BA\u03AE\u03C2 \u03C7\u03C1\u03AE\u03C3\u03B7\u03C2 \u03C0\u03BF\u03C5 \u03BA\u03C5\u03C1\u03AF\u03C9\u03C2 \u03C7\u03C1\u03B7\u03C3\u03B9\u03BC\u03BF\u03C0\u03BF\u03B9\u03B5\u03AF\u03C4\u03B1\u03B9 \u03C3\u03C4\u03BF\u03BD \u03C4\u03BF\u03BC\u03AD\u03B1 \u03C4\u03B7\u03C2 \u03C4\u03B5\u03C7\u03BD\u03B7\u03C4\u03AE\u03C2 \u03BD\u03BF\u03B7\u03BC\u03BF\u03C3\u03CD\u03BD\u03B7\u03C2.\u0394\u03B7\u03BC\u03B9\u03BF\u03C5\u03C1\u03B3\u03AE\u03B8\u03B7\u03BA\u03B5 \u03C3\u03C4\u03B9\u03C2 \u03B1\u03C1\u03C7\u03AD\u03C2 \u03C4\u03BF\u03C5 1970 \u03B1\u03C0\u03CC \u03C4\u03BF\u03C5\u03C2 \u03BA\u03B1\u03B9 .\u03A4\u03BF \u03CC\u03BD\u03BF\u03BC\u03B1 Prolog \u03C4\u03BF \u03AD\u03B2\u03B3\u03B1\u03BB\u03B5 \u03BF \u03C3\u03C5\u03BD\u03B5\u03C1\u03B3\u03AC\u03C4\u03B7\u03C2 \u03C4\u03BF\u03C5 Kowalski' Philippe Roussel \u03BA\u03B1\u03B9 \u03B5\u03AF\u03BD\u03B1\u03B9 \u03C3\u03C5\u03BD\u03C4\u03BF\u03BC\u03BF\u03B3\u03C1\u03B1\u03C6\u03AF\u03B1 \u03C4\u03BF\u03C5 \u03B3\u03B1\u03BB\u03BB\u03B9\u03BA\u03BF\u03CD \u00ABPROgramation et LOGique\u00BB (\u00AB\u03A0\u03C1\u03BF\u03B3\u03C1\u03B1\u03BC\u03BC\u03B1\u03C4\u03B9\u03C3\u03BC\u03CC\u03C2 \u03BA\u03B1\u03B9 \u039B\u03BF\u03B3\u03B9\u03BA\u03AE\u00BB) ."@el . . . . . . . . "El Prolog (nom provinent dels mots francesos programation i logique) \u00E9s un llenguatge de programaci\u00F3 bastant popular en el medi d'investigaci\u00F3 en intel\u00B7lig\u00E8ncia artificial."@ca . "Prolog"@in . . . . . . . "Part 1:"@en . "Prolog (vom Franz\u00F6sischen: programmation en logique, dt.: \u201EProgrammieren in Logik\u201C) ist eine Programmiersprache, die Anfang der 1970er-Jahre ma\u00DFgeblich von dem franz\u00F6sischen Informatiker Alain Colmerauer entwickelt wurde und ein deklaratives Programmieren erm\u00F6glicht. Sie gilt als die wichtigste logische Programmiersprache."@de . . . . . "\u0627\u0644\u0628\u0631\u0648\u0644\u0648\u063A (Prolog) \u0647\u064A \u0644\u063A\u0629 \u0628\u0631\u0645\u062C\u0629 \u0645\u0646\u0637\u0642\u064A\u0629. \u0627\u0644\u0627\u0633\u0645 \u0645\u0623\u062E\u0648\u0630 \u0645\u0646 \u0627\u0644\u0641\u0631\u0646\u0633\u064A\u0629 programmation en logique (\u0628\u0631\u0645\u062C\u0629 \u0627\u0644\u0645\u0646\u0637\u0642)\u060C \u062A\u0645 \u0627\u062E\u062A\u0631\u0627\u0639 \u0627\u0644\u0644\u063A\u0629 \u0628\u0648\u0627\u0633\u0637\u0629 \u062D\u0648\u0627\u0644\u064A \u0627\u0644\u0639\u0627\u0645 1972. \u0643\u0627\u0646\u062A \u0645\u062D\u0627\u0648\u0644\u0629 \u0644\u062C\u0639\u0644 \u0644\u063A\u0629 \u0627\u0644\u0628\u0631\u0645\u062C\u0629 \u0642\u0627\u062F\u0631\u0629 \u0639\u0644\u0649 \u0627\u0633\u062A\u062E\u062F\u0627\u0645 \u0639\u0628\u0627\u0631\u0627\u062A \u0645\u0646\u0637\u0642\u064A\u0629 \u0628\u062F\u0644 \u0623\u0646 \u062A\u0643\u0648\u0646 \u062A\u0639\u0644\u064A\u0645\u0627\u062A \u0645\u062D\u062F\u062F\u0629 \u062A\u0644\u0642\u0646 \u0625\u0644\u0649 \u0627\u0644\u062D\u0627\u0633\u0648\u0628. \u0635\u0645\u0645\u062A \u0627\u0644\u0644\u063A\u0629 \u0623\u0633\u0627\u0633\u064B\u0627 \u0644\u062A\u0633\u062A\u062E\u062F\u0645 \u0641\u064A \u0639\u0645\u0644 \u0628\u0631\u0627\u0645\u062C \u0645\u0639\u0627\u0644\u062C\u0629 \u0627\u0644\u0644\u063A\u0627\u062A \u0627\u0644\u0637\u0628\u064A\u0639\u064A\u0629. \u062A\u0633\u062A\u062E\u062F\u0645 \u0644\u063A\u0629 \u0627\u0644\u0628\u0631\u0648\u0644\u0648\u063A \u0641\u064A \u0627\u0644\u0639\u062F\u064A\u062F \u0645\u0646 \u0628\u0631\u0627\u0645\u062C \u0627\u0644\u0630\u0643\u0627\u0621 \u0627\u0644\u0627\u0635\u0637\u0646\u0627\u0639\u064A \u0648\u0628\u0631\u0627\u0645\u062C \u0645\u0639\u0627\u0644\u062C\u0629 \u0627\u0644\u0644\u063A\u0627\u062A \u0627\u0644\u0637\u0628\u064A\u0639\u064A\u0629. \u0639\u0628\u0627\u0631\u0627\u062A \u0648\u0642\u0648\u0627\u0639\u062F \u0627\u0644\u0644\u063A\u0629 \u062A\u0639\u062A\u0628\u0631 \u0628\u0633\u064A\u0637\u0629 \u062C\u062F\u0627\u064B \u0648\u0648\u0627\u0636\u062D\u0629 (\u064A\u062A\u0645 \u0643\u062A\u0627\u0628\u0629 \u0627\u0644\u0628\u0631\u0646\u0627\u0645\u062C \u0628\u0627\u0644\u0643\u0627\u0645\u0644 \u0628\u0627\u0633\u062A\u062E\u062F\u0627\u0645 \u0627\u0644\u062D\u0642\u0627\u0626\u0642 \u0648\u0627\u0644\u0642\u0648\u0627\u0639\u062F). \u0627\u0644\u0639\u062F\u064A\u062F \u0645\u0646 \u0627\u0644\u0628\u0627\u062D\u062B\u064A\u0646 \u0627\u0644\u0630\u064A\u0646 \u064A\u0642\u0648\u062F\u0648\u0646 \u062A\u0637\u0628\u064A\u0642\u0627\u062A \u062D\u062F\u064A\u062B\u0629 \u0644\u0644\u0628\u0631\u0648\u0644\u0648\u063A \u0627\u0644\u062A\u064A \u062C\u0627\u0621\u062A \u0646\u062A\u064A\u062C\u0629 \u0627\u0633\u062A\u062E\u062F\u0627\u0645 \u0646\u0633\u062E\u0627\u062A \u0645\u062E\u062A\u0644\u0641\u0629 \u0645\u0646 \u0627\u0644\u0628\u0631\u0648\u0644\u0648\u063A \u0643\u0646\u0648\u0627\u0629 \u0641\u064A \u0645\u0634\u0627\u0631\u064A\u0639 \u0623\u0646\u0638\u0645\u0629 \u062D\u0627\u0633\u0648\u0628 \u0627\u0644\u062C\u064A\u0644 \u0627\u0644\u062E\u0627\u0645\u0633 (fifth generation computer systems \u0627\u062E\u062A\u0635\u0627\u0631\u064B\u0627 FGCS)."@ar . . . . . . . . . "Prolog"@it . . . . . . . . . . . . . . "Part 1: General core-Edition 1"@en . . . . . . . . . . . . . . . . "El Prolog (nom provinent dels mots francesos programation i logique) \u00E9s un llenguatge de programaci\u00F3 bastant popular en el medi d'investigaci\u00F3 en intel\u00B7lig\u00E8ncia artificial."@ca . . . . . . "65747"^^ . "ISO Prolog, Edinburgh Prolog"@en . . . . . . . . . . . . . "Prolog ( edo PROLOG), frantses jatorria (PROgrammation LOGique) duen programazio-lengoaia logiko interpretatu bat da. Adimen artifizialeko ikerketetan erabiltzen da."@eu . . "Prolog (od francuskiego Programmation en Logique) \u2013 jeden z najpopularniejszych j\u0119zyk\u00F3w programowania logicznego. Prolog powsta\u0142 jako j\u0119zyk programowania s\u0142u\u017C\u0105cy do automatycznej analizy j\u0119zyk\u00F3w naturalnych, jest jednak j\u0119zykiem og\u00F3lnego zastosowania, szczeg\u00F3lnie dobrze sprawdzaj\u0105cym si\u0119 w programach zwi\u0105zanych ze sztuczn\u0105 inteligencj\u0105. Prolog w przeciwie\u0144stwie do wi\u0119kszo\u015Bci popularnych j\u0119zyk\u00F3w jest j\u0119zykiem deklaratywnym. Program w Prologu sk\u0142ada si\u0119 z zestawu klauzul, gdzie ka\u017Cda klauzula jest faktem lub regu\u0142\u0105 wnioskowania. Aby uruchomi\u0107 program, nale\u017Cy wprowadzi\u0107 odpowiednie zapytanie. Prolog jest j\u0119zykiem programowania s\u0142u\u017C\u0105cym do rozwi\u0105zywania problem\u00F3w, kt\u00F3re dotycz\u0105 obiekt\u00F3w i relacji mi\u0119dzy obiektami. M\u00F3wi\u0105c \u201EJohn ma ksi\u0105\u017Ck\u0119.\u201D, deklarujemy relacje mi\u0119dzy obiektem \u201EJohn\u201D, a drugim indywidualnym obiektem \u201Eksi\u0105\u017Cka\u201D. Dodatkowo relacja okre\u015Bla konkretn\u0105 kolejno\u015B\u0107: John jest w\u0142a\u015Bcicielem ksi\u0105\u017Cki, a nie ksi\u0105\u017Cka w\u0142a\u015Bcicielem Johna! Zadaj\u0105c pytanie \u201ECzy John ma ksi\u0105\u017Ck\u0119?\u201D chcemy dowiedzie\u0107 si\u0119 o relacji mi\u0119dzy tymi dwoma obiektami. Du\u017Co problem\u00F3w mo\u017Ce by\u0107 wyra\u017Conych okre\u015Blaj\u0105c obiekty i relacje mi\u0119dzy nimi. W Prologu \u201Eobiekt\u201D odnosi si\u0119 do bytu, kt\u00F3ry mo\u017Ce by\u0107 prezentowany przy u\u017Cyciu termu. Wa\u017Cne jest, aby zrozumie\u0107, \u017Ce regu\u0142y s\u0105 zazwyczaj uproszczone i w rzeczywisto\u015Bci znacz\u0105 wi\u0119cej ni\u017C zawiera to regu\u0142a. Prace nad projektem, dzi\u0119ki kt\u00F3remu powsta\u0142 Prolog rozpocz\u0119\u0142y si\u0119 ju\u017C pod koniec 1970 roku, niemniej jednak wst\u0119pna wersja Prologu zosta\u0142a stworzona w 1971 roku przez i . Systemy Q, a tak\u017Ce do\u015Bwiadczenie nabyte przez Alaina Colmeraurera w trakcie ich wdra\u017Cania, mia\u0142y znacz\u0105cy wp\u0142yw na powstanie Prologu. Zal\u0105\u017Cka j\u0119zyka Prolog autorzy dopatruj\u0105 si\u0119 w artykule Alana Robinsona \u201ELogika zorientowana maszynowo oparta na zasadzie rozdzielczo\u015Bci\u201D, gdy\u017C artyku\u0142 ten by\u0142 \u017Ar\u00F3d\u0142em prac na temat automatyzacji dowodzenia twierdze\u0144, a taka jest zasadniczo budowa Prolog. Prolog opiera si\u0119 na rachunku predykatowym pierwszego rz\u0119du, jednak ogranicza si\u0119 tylko do klauzul Horna. Istniej\u0105 jednak wbudowane predykaty wy\u017Cszego rz\u0119du."@pl . . . "\u0397 Prolog \u03B5\u03AF\u03BD\u03B1\u03B9 \u03B3\u03BB\u03CE\u03C3\u03C3\u03B1 \u03B3\u03B5\u03BD\u03B9\u03BA\u03AE\u03C2 \u03C7\u03C1\u03AE\u03C3\u03B7\u03C2 \u03C0\u03BF\u03C5 \u03BA\u03C5\u03C1\u03AF\u03C9\u03C2 \u03C7\u03C1\u03B7\u03C3\u03B9\u03BC\u03BF\u03C0\u03BF\u03B9\u03B5\u03AF\u03C4\u03B1\u03B9 \u03C3\u03C4\u03BF\u03BD \u03C4\u03BF\u03BC\u03AD\u03B1 \u03C4\u03B7\u03C2 \u03C4\u03B5\u03C7\u03BD\u03B7\u03C4\u03AE\u03C2 \u03BD\u03BF\u03B7\u03BC\u03BF\u03C3\u03CD\u03BD\u03B7\u03C2.\u0394\u03B7\u03BC\u03B9\u03BF\u03C5\u03C1\u03B3\u03AE\u03B8\u03B7\u03BA\u03B5 \u03C3\u03C4\u03B9\u03C2 \u03B1\u03C1\u03C7\u03AD\u03C2 \u03C4\u03BF\u03C5 1970 \u03B1\u03C0\u03CC \u03C4\u03BF\u03C5\u03C2 \u03BA\u03B1\u03B9 .\u03A4\u03BF \u03CC\u03BD\u03BF\u03BC\u03B1 Prolog \u03C4\u03BF \u03AD\u03B2\u03B3\u03B1\u03BB\u03B5 \u03BF \u03C3\u03C5\u03BD\u03B5\u03C1\u03B3\u03AC\u03C4\u03B7\u03C2 \u03C4\u03BF\u03C5 Kowalski' Philippe Roussel \u03BA\u03B1\u03B9 \u03B5\u03AF\u03BD\u03B1\u03B9 \u03C3\u03C5\u03BD\u03C4\u03BF\u03BC\u03BF\u03B3\u03C1\u03B1\u03C6\u03AF\u03B1 \u03C4\u03BF\u03C5 \u03B3\u03B1\u03BB\u03BB\u03B9\u03BA\u03BF\u03CD \u00ABPROgramation et LOGique\u00BB (\u00AB\u03A0\u03C1\u03BF\u03B3\u03C1\u03B1\u03BC\u03BC\u03B1\u03C4\u03B9\u03C3\u03BC\u03CC\u03C2 \u03BA\u03B1\u03B9 \u039B\u03BF\u03B3\u03B9\u03BA\u03AE\u00BB) ."@el . . . . . "\u0627\u0644\u0628\u0631\u0648\u0644\u0648\u063A (Prolog) \u0647\u064A \u0644\u063A\u0629 \u0628\u0631\u0645\u062C\u0629 \u0645\u0646\u0637\u0642\u064A\u0629. \u0627\u0644\u0627\u0633\u0645 \u0645\u0623\u062E\u0648\u0630 \u0645\u0646 \u0627\u0644\u0641\u0631\u0646\u0633\u064A\u0629 programmation en logique (\u0628\u0631\u0645\u062C\u0629 \u0627\u0644\u0645\u0646\u0637\u0642)\u060C \u062A\u0645 \u0627\u062E\u062A\u0631\u0627\u0639 \u0627\u0644\u0644\u063A\u0629 \u0628\u0648\u0627\u0633\u0637\u0629 \u062D\u0648\u0627\u0644\u064A \u0627\u0644\u0639\u0627\u0645 1972. \u0643\u0627\u0646\u062A \u0645\u062D\u0627\u0648\u0644\u0629 \u0644\u062C\u0639\u0644 \u0644\u063A\u0629 \u0627\u0644\u0628\u0631\u0645\u062C\u0629 \u0642\u0627\u062F\u0631\u0629 \u0639\u0644\u0649 \u0627\u0633\u062A\u062E\u062F\u0627\u0645 \u0639\u0628\u0627\u0631\u0627\u062A \u0645\u0646\u0637\u0642\u064A\u0629 \u0628\u062F\u0644 \u0623\u0646 \u062A\u0643\u0648\u0646 \u062A\u0639\u0644\u064A\u0645\u0627\u062A \u0645\u062D\u062F\u062F\u0629 \u062A\u0644\u0642\u0646 \u0625\u0644\u0649 \u0627\u0644\u062D\u0627\u0633\u0648\u0628. \u0635\u0645\u0645\u062A \u0627\u0644\u0644\u063A\u0629 \u0623\u0633\u0627\u0633\u064B\u0627 \u0644\u062A\u0633\u062A\u062E\u062F\u0645 \u0641\u064A \u0639\u0645\u0644 \u0628\u0631\u0627\u0645\u062C \u0645\u0639\u0627\u0644\u062C\u0629 \u0627\u0644\u0644\u063A\u0627\u062A \u0627\u0644\u0637\u0628\u064A\u0639\u064A\u0629."@ar . . . . . . . . . "Prolog"@nl . . . . . . . . . . . . . . "Prolog est un langage de programmation logique. Le nom Prolog est un acronyme de PROgrammation en LOGique. Il a \u00E9t\u00E9 cr\u00E9\u00E9 par Alain Colmerauer et Philippe Roussel vers 1972 \u00E0 Luminy, Marseille. Le but \u00E9tait de cr\u00E9er un langage de programmation o\u00F9 seraient d\u00E9finies les r\u00E8gles logiques attendues d'une solution et de laisser le compilateur la transformer en s\u00E9quence d'instructions. L'un des gains attendus \u00E9tait une facilit\u00E9 accrue de maintenance des applications, l'ajout ou la suppression de r\u00E8gles au cours du temps n'obligeant pas \u00E0 r\u00E9examiner toutes les autres."@fr . . . "Prolog is a logic programming language associated with artificial intelligence and computational linguistics. Prolog has its roots in first-order logic, a formal logic, and unlike many other programming languages, Prolog is intended primarily as a declarative programming language: the program logic is expressed in terms of relations, represented as facts and rules. A computation is initiated by running a query over these relations. Prolog is well-suited for specific tasks that benefit from rule-based logical queries such as searching databases, voice control systems, and filling templates."@en . . . "September 2019"@en . "\uD504\uB864\uB85C\uADF8 (\uD504\uB85C\uADF8\uB798\uBC0D \uC5B8\uC5B4)"@ko . . . . . "Il Prolog (contrazione del francese PROgrammation en LOGique) \u00E8 un linguaggio di programmazione che adotta il paradigma di programmazione logica. \u00C8 stato ideato da Robert Kowalski (aspetto teorico), (dimostrazione sperimentale) e implementato da negli anni settanta, costituendo un tentativo di costruire un linguaggio di programmazione che consentisse l'espressione del problema in forma logica invece della traduzione di un algoritmo di soluzione in forma di istruzioni da eseguire da parte della macchina. L'attuale implementazione di Prolog \u00E8 dovuta in gran parte all'efficiente codifica di , implementata tramite la sua Warren Abstract Machine (1983)."@it . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . "\u041F\u0440\u043E\u043B\u043E\u0301\u0433 (\u0444\u0440. Prolog, \u0430\u043D\u0433\u043B. Prolog) \u2014 \u043C\u043E\u0432\u0430 \u043B\u043E\u0433\u0456\u0447\u043D\u043E\u0433\u043E \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u0443\u0432\u0430\u043D\u043D\u044F \u0437\u0430\u0433\u0430\u043B\u044C\u043D\u043E\u0433\u043E \u043F\u0440\u0438\u0437\u043D\u0430\u0447\u0435\u043D\u043D\u044F, \u043F\u043E\u0432'\u044F\u0437\u0430\u043D\u0430 \u0437\u0456 \u0448\u0442\u0443\u0447\u043D\u0438\u043C \u0456\u043D\u0442\u0435\u043B\u0435\u043A\u0442\u043E\u043C \u0442\u0430 \u043C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u0447\u043D\u043E\u044E \u043B\u0456\u043D\u0433\u0432\u0456\u0441\u0442\u0438\u043A\u043E\u044E. \u041F\u0440\u043E\u043B\u043E\u0433 \u043C\u0430\u0454 \u043A\u043E\u0440\u0435\u043D\u0456 \u0432 \u043B\u043E\u0433\u0456\u0446\u0456 \u043F\u0435\u0440\u0448\u043E\u0433\u043E \u043F\u043E\u0440\u044F\u0434\u043A\u0443, \u043C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u0447\u043D\u0456\u0439 \u043B\u043E\u0433\u0456\u0446\u0456, \u0442\u0430, \u043D\u0430 \u0432\u0456\u0434\u043C\u0456\u043D\u0443 \u0432\u0456\u0434 \u0431\u0430\u0433\u0430\u0442\u044C\u043E\u0445 \u0456\u043D\u0448\u0438\u0445 \u043C\u043E\u0432 \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u0443\u0432\u0430\u043D\u043D\u044F, \u0454 \u0434\u0435\u043A\u043B\u0430\u0440\u0430\u0442\u0438\u0432\u043D\u043E\u044E: \u043B\u043E\u0433\u0456\u043A\u0430 \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u0438 \u0432\u0438\u0440\u0430\u0436\u0430\u0454\u0442\u044C\u0441\u044F \u0432 \u0442\u0435\u0440\u043C\u0456\u043D\u0430\u0445 \u0432\u0456\u0434\u043D\u043E\u0448\u0435\u043D\u044C, \u043F\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043B\u0435\u043D\u0438\u0445 \u044F\u043A \u0444\u0430\u043A\u0442\u0438 \u0442\u0430 \u043F\u0440\u0430\u0432\u0438\u043B\u0430. \u041E\u0431\u0447\u0438\u0441\u043B\u0435\u043D\u043D\u044F \u0456\u043D\u0456\u0446\u0456\u044E\u0454\u0442\u044C\u0441\u044F \u0437\u0430\u043F\u0443\u0441\u043A\u043E\u043C \u0437\u0430\u043F\u0438\u0442\u0443 \u043D\u0430\u0434 \u0446\u0438\u043C\u0438 \u0432\u0456\u0434\u043D\u043E\u0448\u0435\u043D\u043D\u044F\u043C\u0438. \u0426\u044E \u043C\u043E\u0432\u0443 \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u0443\u0432\u0430\u043D\u043D\u044F \u0441\u043F\u043E\u0447\u0430\u0442\u043A\u0443 \u0431\u0443\u043B\u043E \u0437\u0430\u0434\u0443\u043C\u0430\u043D\u043E \u0433\u0440\u0443\u043F\u043E\u044E \u043D\u0430\u0432\u043A\u043E\u043B\u043E \u0432 \u041C\u0430\u0440\u0441\u0435\u043B\u0456 \u043D\u0430 \u043F\u043E\u0447\u0430\u0442\u043A\u0443 1970-\u0445, \u0430 \u043F\u0435\u0440\u0448\u0443 \u0441\u0438\u0441\u0442\u0435\u043C\u0443 \u041F\u0440\u043E\u043B\u043E\u0433 \u0431\u0443\u043B\u043E \u0440\u043E\u0437\u0440\u043E\u0431\u043B\u0435\u043D\u043E \u0432 1972-\u043C\u0443 \u0410\u043B\u0430\u043D\u043E\u043C \u041A\u043E\u043B\u044C\u043C\u0435\u0440\u043E\u0435 \u0442\u0430 ."@uk . . . "Prolog, ett programspr\u00E5k f\u00F6r logikprogrammering. Prolog skiljer sig fr\u00E5n de flesta andra programspr\u00E5k i och med att det bygger p\u00E5 logiska uttryck och inte p\u00E5 instruktioner f\u00F6r datorn. Prolog anv\u00E4nds fr\u00E4mst inom omr\u00E5dena artificiell intelligens och . Att programmera i Prolog liknar inte riktigt program skrivna i programspr\u00E5k som till exempel C; spr\u00E5ket \u00E4r uppbyggt s\u00E5 att man i sitt program definierar klausuler som returnerar sant eller falskt. Man st\u00E4ller sedan fr\u00E5gor till systemet som med hj\u00E4lp av de klausuler man definierat kan dra slutsatser och svara p\u00E5 fr\u00E5gor."@sv . . . . "Prolog adalah bahasa atau di sebut juga sebagai . Namanya diambil dari bahasa Prancis programmation en logique (pemrograman logika). Bahasa ini diciptakan oleh dan sekitar tahun 1972 dalam upaya untuk menciptakan suatu bahasa pemrograman yang memungkinkan pernyataan logika alih-alih rangkaian perintah untuk dijalankan komputer. Berbeda dengan bahasa pemrograman yang lain, yang menggunakan algoritme konvensional sebagai teknik pencariannya seperti pada Delphi, Pascal, BASIC, COBOL dan bahasa pemrograman yang sejenisnya, maka prolog menggunakan teknik pencarian yang di sebut heuristik (heutistic) dengan menggunakan pohon logika."@in . "Il Prolog (contrazione del francese PROgrammation en LOGique) \u00E8 un linguaggio di programmazione che adotta il paradigma di programmazione logica. \u00C8 stato ideato da Robert Kowalski (aspetto teorico), (dimostrazione sperimentale) e implementato da negli anni settanta, costituendo un tentativo di costruire un linguaggio di programmazione che consentisse l'espressione del problema in forma logica invece della traduzione di un algoritmo di soluzione in forma di istruzioni da eseguire da parte della macchina. L'attuale implementazione di Prolog \u00E8 dovuta in gran parte all'efficiente codifica di , implementata tramite la sua Warren Abstract Machine (1983). Il Prolog \u00E8 impiegato in molti programmi di intelligenza artificiale, la sua sintassi e la semantica sono molto semplici e chiare (lo scopo primitivo era quello di fornire uno strumento di lavoro a linguisti privi di conoscenze informatiche). Il Prolog si basa sul calcolo dei predicati (precisamente il calcolo di predicati del primo ordine); tuttavia la sintassi \u00E8 limitata a formule dette clausole di Horn che sono disgiunzioni di letterali del primo ordine quantificate universalmente con al pi\u00F9 un letterale positivo. L'esecuzione di un programma Prolog \u00E8 comparabile alla dimostrazione di un teorema mediante la regola di inferenza detta risoluzione (introdotta da Robinson nel 1965). I concetti fondamentali sono l'unificazione, la ricorsione in coda e il backtracking. Molti linguaggi, come Datalog o AnsProlog, sono basati su Prolog."@it . . . . . . . "1121337435"^^ . . . "Prolog ( edo PROLOG), frantses jatorria (PROgrammation LOGique) duen programazio-lengoaia logiko interpretatu bat da. Adimen artifizialeko ikerketetan erabiltzen da."@eu . . . . . . "Prolog"@ja . "Prolog (programovac\u00ED jazyk)"@cs . . "\u041F\u0440\u043E\u043B\u043E\u0433 (\u0430\u043D\u0433\u043B. Prolog) \u2014 \u044F\u0437\u044B\u043A \u0438 \u0441\u0438\u0441\u0442\u0435\u043C\u0430 \u043B\u043E\u0433\u0438\u0447\u0435\u0441\u043A\u043E\u0433\u043E \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C\u0438\u0440\u043E\u0432\u0430\u043D\u0438\u044F, \u043E\u0441\u043D\u043E\u0432\u0430\u043D\u043D\u044B\u0435 \u043D\u0430 \u044F\u0437\u044B\u043A\u0435 \u043F\u0440\u0435\u0434\u0438\u043A\u0430\u0442\u043E\u0432 \u043C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u0447\u0435\u0441\u043A\u043E\u0439 \u043B\u043E\u0433\u0438\u043A\u0438 \u0434\u0438\u0437\u044A\u044E\u043D\u043A\u0442\u043E\u0432 \u0425\u043E\u0440\u043D\u0430, \u043F\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043B\u044F\u044E\u0449\u0435\u0439 \u0441\u043E\u0431\u043E\u0439 \u043F\u043E\u0434\u043C\u043D\u043E\u0436\u0435\u0441\u0442\u0432\u043E \u043B\u043E\u0433\u0438\u043A\u0438 \u043F\u0440\u0435\u0434\u0438\u043A\u0430\u0442\u043E\u0432 \u043F\u0435\u0440\u0432\u043E\u0433\u043E \u043F\u043E\u0440\u044F\u0434\u043A\u0430. \u0418\u043D\u0430\u0447\u0435 \u0433\u043E\u0432\u043E\u0440\u044F, \u043F\u0440\u0435\u0434\u0438\u043A\u0430\u0442 \u043C\u043E\u0436\u043D\u043E \u043E\u043F\u0440\u0435\u0434\u0435\u043B\u0438\u0442\u044C \u043A\u0430\u043A \u0444\u0443\u043D\u043A\u0446\u0438\u044E, \u043E\u0442\u043E\u0431\u0440\u0430\u0436\u0430\u044E\u0449\u0443\u044E \u043C\u043D\u043E\u0436\u0435\u0441\u0442\u0432\u043E \u043F\u0440\u043E\u0438\u0437\u0432\u043E\u043B\u044C\u043D\u043E\u0439 \u043F\u0440\u0438\u0440\u043E\u0434\u044B \u0432 \u043C\u043D\u043E\u0436\u0435\u0441\u0442\u0432\u043E \u0431\u0443\u043B\u0435\u0432\u044B\u0445 \u0437\u043D\u0430\u0447\u0435\u043D\u0438\u0439 {\u043B\u043E\u0436\u043D\u043E, \u0438\u0441\u0442\u0438\u043D\u043D\u043E}. \u0417\u0430\u0434\u0430\u0447\u0430 \u043F\u0440\u043E\u043B\u043E\u0433-\u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C\u044B \u0437\u0430\u043A\u043B\u044E\u0447\u0430\u0435\u0442\u0441\u044F \u0432 \u0442\u043E\u043C, \u0447\u0442\u043E\u0431\u044B \u0434\u043E\u043A\u0430\u0437\u0430\u0442\u044C, \u044F\u0432\u043B\u044F\u0435\u0442\u0441\u044F \u043B\u0438 \u0437\u0430\u0434\u0430\u043D\u043D\u043E\u0435 \u0446\u0435\u043B\u0435\u0432\u043E\u0435 \u0443\u0442\u0432\u0435\u0440\u0436\u0434\u0435\u043D\u0438\u0435 \u0441\u043B\u0435\u0434\u0441\u0442\u0432\u0438\u0435\u043C \u0438\u0437 \u0438\u043C\u0435\u044E\u0449\u0438\u0445\u0441\u044F \u0444\u0430\u043A\u0442\u043E\u0432 \u0438 \u043F\u0440\u0430\u0432\u0438\u043B."@ru . . . . . . . . "Part 2:"@en . "Part 2: Modules-Edition 1"@en . "\u041F\u0440\u043E\u043B\u043E\u0433 (\u0430\u043D\u0433\u043B. Prolog) \u2014 \u044F\u0437\u044B\u043A \u0438 \u0441\u0438\u0441\u0442\u0435\u043C\u0430 \u043B\u043E\u0433\u0438\u0447\u0435\u0441\u043A\u043E\u0433\u043E \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C\u0438\u0440\u043E\u0432\u0430\u043D\u0438\u044F, \u043E\u0441\u043D\u043E\u0432\u0430\u043D\u043D\u044B\u0435 \u043D\u0430 \u044F\u0437\u044B\u043A\u0435 \u043F\u0440\u0435\u0434\u0438\u043A\u0430\u0442\u043E\u0432 \u043C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u0447\u0435\u0441\u043A\u043E\u0439 \u043B\u043E\u0433\u0438\u043A\u0438 \u0434\u0438\u0437\u044A\u044E\u043D\u043A\u0442\u043E\u0432 \u0425\u043E\u0440\u043D\u0430, \u043F\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043B\u044F\u044E\u0449\u0435\u0439 \u0441\u043E\u0431\u043E\u0439 \u043F\u043E\u0434\u043C\u043D\u043E\u0436\u0435\u0441\u0442\u0432\u043E \u043B\u043E\u0433\u0438\u043A\u0438 \u043F\u0440\u0435\u0434\u0438\u043A\u0430\u0442\u043E\u0432 \u043F\u0435\u0440\u0432\u043E\u0433\u043E \u043F\u043E\u0440\u044F\u0434\u043A\u0430. \u042F\u0437\u044B\u043A \u0441\u043E\u0441\u0440\u0435\u0434\u043E\u0442\u043E\u0447\u0435\u043D \u0432\u043E\u043A\u0440\u0443\u0433 \u043D\u0435\u0431\u043E\u043B\u044C\u0448\u043E\u0433\u043E \u043D\u0430\u0431\u043E\u0440\u0430 \u043E\u0441\u043D\u043E\u0432\u043D\u044B\u0445 \u043C\u0435\u0445\u0430\u043D\u0438\u0437\u043C\u043E\u0432, \u0432\u043A\u043B\u044E\u0447\u0430\u044F \u0441\u043E\u043F\u043E\u0441\u0442\u0430\u0432\u043B\u0435\u043D\u0438\u0435 \u0441 \u043E\u0431\u0440\u0430\u0437\u0446\u043E\u043C, \u0434\u0440\u0435\u0432\u043E\u0432\u0438\u0434\u043D\u043E\u0433\u043E \u043F\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043B\u0435\u043D\u0438\u044F \u0441\u0442\u0440\u0443\u043A\u0442\u0443\u0440 \u0434\u0430\u043D\u043D\u044B\u0445 \u0438 \u0430\u0432\u0442\u043E\u043C\u0430\u0442\u0438\u0447\u0435\u0441\u043A\u043E\u0433\u043E \u043F\u0435\u0440\u0435\u0431\u043E\u0440\u0430 \u0441 \u0432\u043E\u0437\u0432\u0440\u0430\u0442\u0430\u043C\u0438. \u0425\u043E\u0440\u043E\u0448\u043E \u043F\u043E\u0434\u0445\u043E\u0434\u0438\u0442 \u0434\u043B\u044F \u0440\u0435\u0448\u0435\u043D\u0438\u044F \u0437\u0430\u0434\u0430\u0447, \u0433\u0434\u0435 \u0440\u0430\u0441\u0441\u043C\u0430\u0442\u0440\u0438\u0432\u0430\u044E\u0442\u0441\u044F \u043E\u0431\u044A\u0435\u043A\u0442\u044B (\u0432 \u0447\u0430\u0441\u0442\u043D\u043E\u0441\u0442\u0438 \u0441\u0442\u0440\u0443\u043A\u0442\u0443\u0440\u0438\u0440\u043E\u0432\u0430\u043D\u043D\u044B\u0435 \u043E\u0431\u044A\u0435\u043A\u0442\u044B) \u0438 \u043E\u0442\u043D\u043E\u0448\u0435\u043D\u0438\u044F \u043C\u0435\u0436\u0434\u0443 \u043D\u0438\u043C\u0438. \u041F\u0440\u043E\u043B\u043E\u0433, \u0431\u043B\u0430\u0433\u043E\u0434\u0430\u0440\u044F \u0441\u0432\u043E\u0438\u043C \u043E\u0441\u043E\u0431\u0435\u043D\u043D\u043E\u0441\u0442\u044F\u043C, \u0438\u0441\u043F\u043E\u043B\u044C\u0437\u0443\u0435\u0442\u0441\u044F \u0432 \u043E\u0431\u043B\u0430\u0441\u0442\u0438 \u0438\u0441\u043A\u0443\u0441\u0441\u0442\u0432\u0435\u043D\u043D\u043E\u0433\u043E \u0438\u043D\u0442\u0435\u043B\u043B\u0435\u043A\u0442\u0430, \u043A\u043E\u043C\u043F\u044C\u044E\u0442\u0435\u0440\u043D\u043E\u0439 \u043B\u0438\u043D\u0433\u0432\u0438\u0441\u0442\u0438\u043A\u0438 \u0438 \u043D\u0435\u0447\u0438\u0441\u043B\u043E\u0432\u043E\u0433\u043E \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C\u0438\u0440\u043E\u0432\u0430\u043D\u0438\u044F \u0432 \u0446\u0435\u043B\u043E\u043C. \u0412 \u043D\u0435\u043A\u043E\u0442\u043E\u0440\u044B\u0445 \u0441\u043B\u0443\u0447\u0430\u044F\u0445 \u0440\u0435\u0430\u043B\u0438\u0437\u0430\u0446\u0438\u044F \u0441\u0438\u043C\u0432\u043E\u043B\u044C\u043D\u044B\u0445 \u0432\u044B\u0447\u0438\u0441\u043B\u0435\u043D\u0438\u0439 \u043D\u0430 \u0434\u0440\u0443\u0433\u0438\u0445 \u0441\u0442\u0430\u043D\u0434\u0430\u0440\u0442\u043D\u044B\u0445 \u044F\u0437\u044B\u043A\u0430\u0445 \u0432\u044B\u0437\u044B\u0432\u0430\u0435\u0442 \u043D\u0435\u043E\u0431\u0445\u043E\u0434\u0438\u043C\u043E\u0441\u0442\u044C \u0441\u043E\u0437\u0434\u0430\u0432\u0430\u0442\u044C \u0431\u043E\u043B\u044C\u0448\u043E\u0435 \u043A\u043E\u043B\u0438\u0447\u0435\u0441\u0442\u0432\u043E \u043A\u043E\u0434\u0430, \u0441\u043B\u043E\u0436\u043D\u043E\u0433\u043E \u0432 \u043F\u043E\u043D\u0438\u043C\u0430\u043D\u0438\u0438, \u0432 \u0442\u043E \u0432\u0440\u0435\u043C\u044F \u043A\u0430\u043A \u0440\u0435\u0430\u043B\u0438\u0437\u0430\u0446\u0438\u044F \u0442\u0435\u0445 \u0436\u0435 \u0430\u043B\u0433\u043E\u0440\u0438\u0442\u043C\u043E\u0432 \u043D\u0430 \u044F\u0437\u044B\u043A\u0435 \u041F\u0440\u043E\u043B\u043E\u0433 \u0434\u0430\u0451\u0442 \u043F\u0440\u043E\u0441\u0442\u0443\u044E \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C\u0443, \u043B\u0435\u0433\u043A\u043E \u043F\u043E\u043C\u0435\u0449\u0430\u044E\u0449\u0443\u044E\u0441\u044F \u043D\u0430 \u043E\u0434\u043D\u043E\u0439 \u0441\u0442\u0440\u0430\u043D\u0438\u0446\u0435. Prolog \u044F\u0432\u043B\u044F\u0435\u0442\u0441\u044F \u0434\u0435\u043A\u043B\u0430\u0440\u0430\u0442\u0438\u0432\u043D\u044B\u043C \u044F\u0437\u044B\u043A\u043E\u043C \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C\u0438\u0440\u043E\u0432\u0430\u043D\u0438\u044F: \u043B\u043E\u0433\u0438\u043A\u0430 \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C\u044B \u0432\u044B\u0440\u0430\u0436\u0430\u0435\u0442\u0441\u044F \u0432 \u0442\u0435\u0440\u043C\u0438\u043D\u0430\u0445 \u043E\u0442\u043D\u043E\u0448\u0435\u043D\u0438\u0439, \u043F\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043B\u0435\u043D\u043D\u044B\u0445 \u0432 \u0432\u0438\u0434\u0435 \u0444\u0430\u043A\u0442\u043E\u0432 \u0438 \u043F\u0440\u0430\u0432\u0438\u043B. \u0414\u043B\u044F \u0442\u043E\u0433\u043E \u0447\u0442\u043E\u0431\u044B \u0438\u043D\u0438\u0446\u0438\u0438\u0440\u043E\u0432\u0430\u0442\u044C \u0432\u044B\u0447\u0438\u0441\u043B\u0435\u043D\u0438\u044F, \u0432\u044B\u043F\u043E\u043B\u043D\u044F\u0435\u0442\u0441\u044F \u0441\u043F\u0435\u0446\u0438\u0430\u043B\u044C\u043D\u044B\u0439 \u0437\u0430\u043F\u0440\u043E\u0441 \u043A \u0431\u0430\u0437\u0435 \u0437\u043D\u0430\u043D\u0438\u0439, \u043D\u0430 \u043A\u043E\u0442\u043E\u0440\u044B\u0435 \u0441\u0438\u0441\u0442\u0435\u043C\u0430 \u043B\u043E\u0433\u0438\u0447\u0435\u0441\u043A\u043E\u0433\u043E \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C\u0438\u0440\u043E\u0432\u0430\u043D\u0438\u044F \u0433\u0435\u043D\u0435\u0440\u0438\u0440\u0443\u0435\u0442 \u043E\u0442\u0432\u0435\u0442\u044B \u00AB\u0438\u0441\u0442\u0438\u043D\u0430\u00BB \u0438 \u00AB\u043B\u043E\u0436\u044C\u00BB. \u0414\u043B\u044F \u043E\u0431\u043E\u0431\u0449\u0451\u043D\u043D\u044B\u0445 \u0437\u0430\u043F\u0440\u043E\u0441\u043E\u0432 \u0441 \u043F\u0435\u0440\u0435\u043C\u0435\u043D\u043D\u044B\u043C\u0438 \u0432 \u043A\u0430\u0447\u0435\u0441\u0442\u0432\u0435 \u0430\u0440\u0433\u0443\u043C\u0435\u043D\u0442\u043E\u0432 \u0441\u043E\u0437\u0434\u0430\u043D\u043D\u0430\u044F \u0441\u0438\u0441\u0442\u0435\u043C\u0430 \u041F\u0440\u043E\u043B\u043E\u0433 \u0432\u044B\u0432\u043E\u0434\u0438\u0442 \u043A\u043E\u043D\u043A\u0440\u0435\u0442\u043D\u044B\u0435 \u0434\u0430\u043D\u043D\u044B\u0435 \u0432 \u043F\u043E\u0434\u0442\u0432\u0435\u0440\u0436\u0434\u0435\u043D\u0438\u0435 \u0438\u0441\u0442\u0438\u043D\u043D\u043E\u0441\u0442\u0438 \u043E\u0431\u043E\u0431\u0449\u0451\u043D\u043D\u044B\u0445 \u0441\u0432\u0435\u0434\u0435\u043D\u0438\u0439 \u0438 \u043F\u0440\u0430\u0432\u0438\u043B \u0432\u044B\u0432\u043E\u0434\u0430. \u0418\u043D\u0430\u0447\u0435 \u0433\u043E\u0432\u043E\u0440\u044F, \u043F\u0440\u0435\u0434\u0438\u043A\u0430\u0442 \u043C\u043E\u0436\u043D\u043E \u043E\u043F\u0440\u0435\u0434\u0435\u043B\u0438\u0442\u044C \u043A\u0430\u043A \u0444\u0443\u043D\u043A\u0446\u0438\u044E, \u043E\u0442\u043E\u0431\u0440\u0430\u0436\u0430\u044E\u0449\u0443\u044E \u043C\u043D\u043E\u0436\u0435\u0441\u0442\u0432\u043E \u043F\u0440\u043E\u0438\u0437\u0432\u043E\u043B\u044C\u043D\u043E\u0439 \u043F\u0440\u0438\u0440\u043E\u0434\u044B \u0432 \u043C\u043D\u043E\u0436\u0435\u0441\u0442\u0432\u043E \u0431\u0443\u043B\u0435\u0432\u044B\u0445 \u0437\u043D\u0430\u0447\u0435\u043D\u0438\u0439 {\u043B\u043E\u0436\u043D\u043E, \u0438\u0441\u0442\u0438\u043D\u043D\u043E}. \u0417\u0430\u0434\u0430\u0447\u0430 \u043F\u0440\u043E\u043B\u043E\u0433-\u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C\u044B \u0437\u0430\u043A\u043B\u044E\u0447\u0430\u0435\u0442\u0441\u044F \u0432 \u0442\u043E\u043C, \u0447\u0442\u043E\u0431\u044B \u0434\u043E\u043A\u0430\u0437\u0430\u0442\u044C, \u044F\u0432\u043B\u044F\u0435\u0442\u0441\u044F \u043B\u0438 \u0437\u0430\u0434\u0430\u043D\u043D\u043E\u0435 \u0446\u0435\u043B\u0435\u0432\u043E\u0435 \u0443\u0442\u0432\u0435\u0440\u0436\u0434\u0435\u043D\u0438\u0435 \u0441\u043B\u0435\u0434\u0441\u0442\u0432\u0438\u0435\u043C \u0438\u0437 \u0438\u043C\u0435\u044E\u0449\u0438\u0445\u0441\u044F \u0444\u0430\u043A\u0442\u043E\u0432 \u0438 \u043F\u0440\u0430\u0432\u0438\u043B."@ru . . . . . "Prologo (programlingvo)"@eo . "August 2019"@en . . . . . . . . . . "Teanga r\u00EDomhchl\u00E1raithe ardleibh\u00E9il a \u00FAs\u00E1idtear ar loighic mhatamaitici\u00FAil, go minic i bhfeidhmeanna intleachta saorga. Saothra\u00EDodh \u00ED in Aix-Marseille sa bhFrainc, Col\u00E1iste Impiri\u00FAil Londan, agus D\u00FAn \u00C9ideann. Cuireadh in ionad LISP do na feidhmeanna seo \u00ED, san Eoraip ar a laghad."@ga . . . "Prolog\uFF08\u30D7\u30ED\u30ED\u30B0\uFF09\u306F\u8AD6\u7406\u30D7\u30ED\u30B0\u30E9\u30DF\u30F3\u30B0\u8A00\u8A9E\u306E\u4E00\u3064\u3067\u3042\u308A\u3001\u8A72\u5F53\u5206\u91CE\u3067\u6700\u3082\u3088\u304F\u77E5\u3089\u308C\u3066\u3044\u308B\u8AD6\u7406\u578B\u8A00\u8A9E\u306E\u4EE3\u8868\u683C\u3067\u3042\u308B\u3002\u4E3B\u306B\u4EBA\u5DE5\u77E5\u80FD\u7814\u7A76\u3084\u8A08\u7B97\u8A00\u8A9E\u5B66\u3068\u306E\u95A2\u9023\u6027\u3092\u6301\u3064\u3002\u5B9A\u7406\u8A3C\u660E\u3001\u30A8\u30AD\u30B9\u30D1\u30FC\u30C8\u30B7\u30B9\u30C6\u30E0\u3001\u81EA\u52D5\u8A08\u753B\u3001\u81EA\u7136\u8A00\u8A9E\u51E6\u7406\u3068\u3082\u7E4B\u304C\u308A\u304C\u6DF1\u3044\u3002\u4E00\u968E\u8FF0\u8A9E\u8AD6\u7406\u3068\u5F62\u5F0F\u8AD6\u7406\u3092\u57FA\u790E\u306B\u3057\u3066\u3001\u4E8B\u5B9F\u7FA4\u3068\u898F\u5247\u7FA4\u306E\u8868\u73FE\u304A\u3088\u3073\u95A2\u4FC2\u306E\u89B3\u70B9\u306B\u7ACB\u3063\u305F\u5BA3\u8A00\u578B\u30D1\u30E9\u30C0\u30A4\u30E0\u306B\u6E96\u62E0\u3057\u3066\u304A\u308A\u3001\u305D\u306E\u95A2\u4FC2\u306B\u5247\u3063\u305F\u8CEA\u554F\u306B\u3088\u3063\u3066\u8A08\u7B97\u304C\u958B\u59CB\u3055\u308C\u308B\u3068\u3044\u3046\u6027\u8CEA\u3092\u6301\u3064\u3002 Prolog\u306F\u30011972\u5E74\u306B\u30DE\u30EB\u30BB\u30A4\u30E6\u5927\u5B66\u306E\u30A2\u30E9\u30F3\u30FB\u30AB\u30EB\u30E1\u30E9\u30A6\u30A2\u30FC\u3068\u30D5\u30A3\u30EA\u30C3\u30D7\u30FB\u30E9\u30C3\u30BB\u30EB\u306B\u3088\u3063\u3066\u958B\u767A\u3055\u308C\u305F\u3002\u30D5\u30E9\u30F3\u30B9\u8A9E\u306E\u300Cprogrammation en logique\u300D\u304C\u305D\u306E\u540D\u306E\u7531\u6765\u3067\u3042\u308B\u3002Prolog\u306E\u8A95\u751F\u306B\u306F\u30A8\u30C7\u30A3\u30F3\u30D0\u30E9\u5927\u5B66\u306E\u30ED\u30D0\u30FC\u30C8\u30FB\u30B3\u30EF\u30EB\u30B9\u30AD\u304C\u8003\u6848\u3057\u305F\u30DB\u30FC\u30F3\u7BC0\u304C\u5927\u304D\u304F\u5BC4\u4E0E\u3057\u3066\u3044\u308B\u3002\u30AB\u30EB\u30E1\u30E9\u30A6\u30A2\u30FC\u306B\u3088\u308B\u5143\u7956\u7248\u306F\u30DE\u30EB\u30BB\u30A4\u30E6Prolog\u3068\u547C\u3070\u308C\u3066\u3044\u308B\u3002\u305D\u306E\u5F8C\u3001\u30B3\u30EF\u30EB\u30B9\u30AD\u306E\u9580\u5F1F\u306E\u30C7\u30F4\u30A3\u30C3\u30C9\u30FB\u30EF\u30FC\u30EC\u30F3\u304C1977\u5E74\u306B\u6539\u8A02\u958B\u767A\u3057\u305F\u30A8\u30C7\u30A3\u30F3\u30D0\u30E9Prolog\uFF08DEC-10 Prolog\uFF09\u304C\u6A19\u6E96\u306B\u306A\u3063\u3066Prolog\u306F\u5E83\u304F\u666E\u53CA\u3057\u305F\u3002"@ja . . "Part 1: General core-Edition 1 ()" . "Prolog\uFF08Programming in Logic\u7684\u7F29\u5199\uFF09\u662F\u4E00\u79CD\u903B\u8F91\u7F16\u7A0B\u8BED\u8A00\u3002\u5B83\u5EFA\u7ACB\u5728\u903B\u8F91\u5B66\u7684\u7406\u8BBA\u57FA\u7840\u4E4B\u4E0A\uFF0C \u6700\u521D\u88AB\u8FD0\u7528\u4E8E\u81EA\u7136\u8BED\u8A00\u7B49\u7814\u7A76\u9886\u57DF\u3002\u73B0\u5728\u5B83\u5DF2\u5E7F\u6CDB\u7684\u5E94\u7528\u5728\u4EBA\u5DE5\u667A\u80FD\u7684\u7814\u7A76\u4E2D\uFF0C\u5B83\u53EF\u4EE5\u7528\u6765\u5EFA\u9020\u4E13\u5BB6\u7CFB\u7EDF\u3001\u81EA\u7136\u8BED\u8A00\u7406\u89E3\u3001\u667A\u80FD\u77E5\u8BC6\u5E93\u7B49\u3002"@zh . . "InternetArchiveBot"@en . . . . . . . . . . . . . . . . . . . . "Prolog adalah bahasa atau di sebut juga sebagai . Namanya diambil dari bahasa Prancis programmation en logique (pemrograman logika). Bahasa ini diciptakan oleh dan sekitar tahun 1972 dalam upaya untuk menciptakan suatu bahasa pemrograman yang memungkinkan pernyataan logika alih-alih rangkaian perintah untuk dijalankan komputer."@in . . . "Prolog"@ga . ", ,"@en . . . . . . "Prolog (vom Franz\u00F6sischen: programmation en logique, dt.: \u201EProgrammieren in Logik\u201C) ist eine Programmiersprache, die Anfang der 1970er-Jahre ma\u00DFgeblich von dem franz\u00F6sischen Informatiker Alain Colmerauer entwickelt wurde und ein deklaratives Programmieren erm\u00F6glicht. Sie gilt als die wichtigste logische Programmiersprache. Erste Implementierungen wichen in ihrer Syntax stark voneinander ab, aber der Edinburgh-Dialekt setzte sich bald als Quasistandard durch. Er war jedoch nicht formal definiert, bis er 1995 zur Grundlage eines ISO-Standards wurde (ISO/IEC 13211-1), der auch ISO-Prolog genannt wird. Der erste Prolog-Interpreter wurde in Marseille in ALGOL W realisiert. Der erste Ansatz f\u00FCr einen Compiler stammte von David H. D. Warren aus Edinburgh. Dieser hatte als Zielsprache die des Logik-Prozessors Warren\u2019s Abstract Machine und erlaubte deshalb weder dynamische \u00C4nderungen noch einen Anschluss r\u00FCcksetzbarer Pr\u00E4dikate in anderen Programmiersprachen. Der erste voll nutzbare Compiler, der beides erlaubte, wurde von Preben Folkjaer und Christian Pichler in M\u00FCnchen entwickelt. Er verwandte einen anderen, von der TU Wien stammenden, Zwischencode, der inkrementell kompiliert wurde; wurden Pr\u00E4dikate ver\u00E4ndert, wurde das Kompilat gel\u00F6scht und beim n\u00E4chsten Aufruf neu kompiliert."@de .