| Arabic |
| has gloss | ara: البرولوغ (Prolog) هي لغة برمجة منطقية (logic programming). الاسم مأخوذ من الفرنسية programmation en logique (برمجة المنطق)، تم أختراع اللغة بواسطة ألين كولميرايور حوالي العام 1972. كانت محاولة لجعل لغة البرمجة قادرة على استخدام عبارات منطقية بدل أن تكون تعليمات محددة تلقن إلى الحاسوب. صممت اللغة أساساً لتستخدام في عمل برامج معالجة اللغات الطبيعية. |
| lexicalization | ara: برولوغ |
| Aragonese |
| has gloss | arg: Prolog (do franzés Programation et Logique) ye un luengache de programazión lochico y entrepitato, pro popular en o campo dimbestigazión en Intelichenzia Artifizial. |
| lexicalization | arg: Prolog |
| Asturian |
| has gloss | ast: Prolog (del inglés Programming in Logic), ye un llinguaxe lóxicu conocíu dabondo nel área de la investigación nIntelixencia Artificial. |
| lexicalization | ast: Prolog |
| Bengali |
| lexicalization | ben: যুক্তিভিত্তিক প্রোগ্রামিং |
| Bulgarian |
| has gloss | bul: Пролог (Prolog) е компютърен език за логическо програмиране. Името Пролог е акроним от PROgramming in LOGic. Създаден е от Ален Колмерое, Филип Ръсел и Робърт Ковалски през 1972 г. като алтернатива на американско-доминираните Lisp програмни езици. Това е опит да се направи програмен език, който дава възможност да се използват логически изрази, вместо специални инструкции към компютъра. До някаква степен Пролог е помощен на Planner (виж историята на Ковалски за ранното логическо програмиране). Пролог е богата колекция от структури от данни и мощна система за писане на потребителски приложения. Той притежава свои логически аспекти, възможности за интерпретиране, компактност и присъща модуларност. |
| lexicalization | bul: Пролог |
| Catalan |
| has gloss | cat: El Prolog (nom provinent dels mots francesos programation i logique) és un llenguatge de programació bastant popular en el medi d'investigació en intel·ligència artificial. |
| lexicalization | cat: Prolog |
| Czech |
| has gloss | ces: Prolog je logický programovací jazyk. Patří mezi tzv. deklarativní programovací jazyky, ve kterých programátor popisuje pouze cíl výpočtu, přičemž přesný postup, jakým se k výsledku program dostane, je ponechán na libovůli systému. Prolog se snaží o pokud možno abstraktní vyjádření faktů a logických vztahů mezi nimi s potlačením imperativní složky. Prolog je využíván především v oboru umělé inteligence a v počítačové lingvistice (obzvláště zpracování přirozeného jazyka, pro nějž byl původně navržen). Syntaxe jazyka je velice jednoduchá a snadno použitelná pravě proto, že byl původně určen pro počítačově nepříliš gramotné lingvisty. Prolog je založen na predikátové logice prvního řádu; konkrétně se omezuje na Hornovy klauzule. Běh programu je pak představován aplikací dokazovacích technik na zadané klauzule. Základními využívanými přístupy jsou unifikace, rekurze a backtracking. |
| lexicalization | ces: Prolog |
| lexicalization | ces: logické programování |
| Danish |
| has gloss | dan: Prolog (PROgramming in LOGic) er et deklarativt og logikbaseret programmeringssprog . |
| lexicalization | dan: Prolog |
| German |
| has gloss | deu: Prolog (vom Französischen: Programmation en Logique , dt.: „Programmieren in Logik“) ist eine Programmiersprache, die Anfang der 1970er Jahre maßgeblich von dem französischen Informatiker Alain Colmerauer entwickelt wurde und ein deklaratives Programmieren ermöglicht. Sie ist die wichtigste logische Programmiersprache. |
| lexicalization | deu: Prolog |
| Modern Greek (1453-) |
| has gloss | ell: Η Prolog είναι μια γλώσσα λογικού προγραμματισμού γενικής χρήσης που κυρίως χρησιμοποιείται στον τομέα της τεχνητής νοημοσύνης. Δημιουργήθηκε στις αρχές του 1970 από τους Ρόμπερτ Κοβάλσκι και Alain Colmeraue. Το όνομα Prolog το έβγαλε ο συνεργάτης του Kowalski' Philippe Roussel και είναι συντομογραφία του γαλλικού «PROgramation et LOGique» («Προγραμματισμός και Λογική») . |
| lexicalization | ell: Prolog |
| Esperanto |
| has gloss | epo: Prolog, "PROgramado en LOGiko", aŭ Prologo estas programlingvo bazita sur la predikatkalkulo. En la 1970-aj jaroj, ĝi estis uzata precipe en projektoj de artefarita intelekto en Japanio. (Ial, en Usono kaj Eŭropo oni preferis Lispon por la sama fako.) |
| lexicalization | epo: Prolog |
| Estonian |
| has gloss | est: Sissejuhatus Prolog on loogika programmeerimiseks mõeldud deklaratiivne programmeerimiskeel, mis põhineb predikaatloogikal. |
| lexicalization | est: Prolog |
| Finnish |
| has gloss | fin: Prolog on tunnetuin logiikkaohjelmointikieli. Nimi Prolog on lyhenne ranskan kielen sanoista PROgrammation en LOGique, sananmukaisesti logiikkaohjelmointi. Kielen kehittivät vuonna 1972 Alan Colmerauer, Philippe Roussel ja Robert Kowalski vaihtoehdoksi LISPille. |
| lexicalization | fin: Prolog |
| lexicalization | fin: logiikkapohjainen ohjelmointikieli |
| French |
| has gloss | fra: Prolog est l’un des principaux langages de programmation logique. Le nom Prolog est un acronyme de PROgrammation LOGique. Il a été créé par Alain Colmerauer et Philippe Roussel vers 1972. Le but était de faire un langage de programmation qui permettait dutiliser lexpressivité de la logique au lieu de définir pas à pas la succession d'instructions que doit exécuter un ordinateur. |
| lexicalization | fra: Prolog |
| lexicalization | fra: programmation logique |
| Galician |
| has gloss | glg: Prolog é unha linguaxe de programación lóxica. O nome de Prolog provén de programation logique ("programación lóxica" en francés). Foi creada por Alain Colmerauer e Robert Kowalski sobre o 1972 e é unha alternativa ó Lisp deseñado nos EEUU. Foi un intento de criar unha linguaxe de programación que usase expresións lóxicas na vez de instrucións especificas do computador. En certa maneira, Prolog é un subconxunto de Planner. As ideas de Planner foron máis tarde completamente desenvolvidas na Scientific Community Metaphor. |
| lexicalization | glg: Prolog |
| lexicalization | glg: programación lóxica |
| Hebrew |
| has gloss | heb: פרולוג (באנגלית: Prolog) היא שפת תכנות לוגית. במקור היא פותחה לכתיבת תוכנות של בינה מלאכותית, אבל אפשר לממש באמצעותה כל מה שאפשר לממש בשפות התכנות הנפוצות. |
| lexicalization | heb: פרולוג |
| Hungarian |
| has gloss | hun: A Prolog egy programozási nyelv, melyet Alain Colmerauer fejlesztett ki 1972-ben, a Prolog név a francia eredetű programmation en logique (logikai programozás) kifejezés rövidítése. Az első logikai programozási nyelvnek tekinthető. A Prolog egy megadott logikai formuláról (célformula) képes eldönteni, hogy logikai következménye-e formulák egy adott halmazának. Utóbbi formulák és a célformula a program bemenete, a kimenet pedig a válasz, hogy következik-e a célformula a többi formulából. |
| lexicalization | hun: Prolog programozási nyelv |
| lexicalization | hun: Prolog |
| Ido |
| has gloss | ido: Prolog esas uno di precipua lingui di logika programeso. La nomo Prolog esas franca akronimo di PROgrammation LOGique. Ol esis kreita da Alain Colmerauer, Philippe Roussel e Robert Kowalski proxim 1972. La skopo esis di facar linguo di programeso qua permisus uzar l’expresiva di logika vice definar pazope la sequencio di instruktesi qua devas exekutar l'ordinatro. |
| lexicalization | ido: Prolog |
| Indonesian |
| has gloss | ind: :Untuk makna prolog yang merujuk kepada bagian awal sebuah cerita, lihat prolog (sastra). |
| lexicalization | ind: Prolog |
| Icelandic |
| has gloss | isl: Prolog (PROgramation et LOGique) á rætur að rekja til háskólans í Marseille-Aix og kom fram árið 1972. Þróun þess er nátengd rannsóknum í gervigreind. |
| lexicalization | isl: Prolog |
| Italian |
| has gloss | ita: Il Prolog (PROgrammation en LOGique) è un linguaggio di programmazione che adotta il paradigma di programmazione logica. |
| lexicalization | ita: Prolog |
| Lojban |
| has gloss | jbo: .i la .prolog. cu sambau gi'e se jicmu lo logji .i la prolog. se finti la alen.kolmeroer. joi la robat.koualskis. .i troci le nu la prolog. curmi lo logji jufra |
| lexicalization | jbo: prolog |
| Japanese |
| has gloss | jpn: Prolog（プロログ）は非手続き型プログラミング言語の一つ。論理型言語に分類される。名称はProgramming in Logic の略。 1972年ごろにフランスのアラン・カルメラウアーとフィリップ・ルーセルによって考案された 。プログラムは一階述語論理に基づいてデータ間の関係を示す命題として記述され、処理系がそれらにパターンマッチング（ユニフィケーション）を施しながら、与えられた命題が成立するか再帰的手続きによって探索する。 人工知能におけるトップ・ダウン式の問題解決と相性が良いために、人工知能研究とエキスパートシステムの実現のための主要言語として広く採用された。 |
| lexicalization | jpn: Prolog |
| lexicalization | jpn: 論理プログラミング |
| Korean |
| has gloss | kor: 프롤로그(Prolog)는 논리형 프로그래밍 언어이다. 이름은 논리 프로그래밍을 의미하는 에서 온 것이다. 1973년 프랑스 마르세유대학교의 알랭 콜메르(Alan Colmerauer)가 개발한 언어로서, 논리식을 토대로 하여 오브젝트와 오브젝트 간의 관계에 관한 문제를 해결하기 위해 사용한다. |
| lexicalization | kor: 프롤로그 |
| Latvian |
| has gloss | lav: Prolog ir loģiskās programmēšanas valoda. Vārds Prolog ir ņemts no franču valodas programmation en logique, kas nozīmē „loģiskā programmēšana”. Šo valodu radīja A.Kolmeauers un R.Kovalskis apmēram 1972. gadā kā alternetīvu priekš Lisp programmēšanas valodām. Tas bija mēģinājums radīt programmēšanas valodu, kura darbotos ar loģiskām izteiksmēm tā vietā lai pildītu detalizētas instrukcijas. |
| lexicalization | lav: Prolog |
| Lithuanian |
| has gloss | lit: Prolog (ėš pranc. programmation en logique) - pruogramavėmo kalba skėrta dėrbtėnio ėntėlėkto ė ekspermėntėniū sistiemū programavėmou. Kalba 1972 sokūrė Alain Colmerauer. |
| has gloss | lit: Prolog (iš ) – programavimo kalba skirta dirbtinio intelekto ir ekspertinių sistemų programavimui. Kalbą 1972 metais sukūrė Alanas Kolmero (Alain Colmerauer). |
| lexicalization | lit: Prolog |
| Malay (macrolanguage) |
| has gloss | msa: PROLOG (Sains komputer) ialah bahasa pengaturcaraan komputer yang berlandaskan logik peringkat pertama atau logik predikat, dengan penegatifan sebagai kegagalan (andaian dunia tertutup). Ia adalah implementasi terawal konsep pengaturcaraan logik, yang dipelopori Robert Kowalski dan lain-lain. Dengan itu, ia digolongkan sebagai suatu bahasa isytiharan. |
| lexicalization | msa: Prolog |
| Dutch |
| has gloss | nld: Prolog (Fr. 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 constraint based language is. |
| lexicalization | nld: PROLOG |
| lexicalization | nld: logisch programmeren |
| Norwegian |
| has gloss | nor: Prolog (programming in logic) er et deklarativt programmeringsspråk satt sammen av logiske slutninger. Det består både av et rent logisk språk og tilleggsfunksjoner som gjør at man kan bruke programmeringsspråket til det meste, som for eksempel å lage grafiske brukergrensesnitt (GUI). Språket brukes mye innen kunstig intelligens. |
| lexicalization | nor: Prolog (programmeringsspråk |
| lexicalization | nor: Prolog |
| Polish |
| has gloss | pol: Prolog (od francuskiego Programmation en Logique) to język programowania logicznego - program w Prologu to opis reguły wnioskowania oraz celu do którego zmierzamy, a rola komputera polega na odpowiednim zastosowaniu reguł aby znaleźć rozwiązanie. |
| lexicalization | pol: Prolog |
| lexicalization | pol: programowanie logiczne |
| Portuguese |
| has gloss | por: Prolog é uma linguagem de programação que se enquadra no paradigma de Programação em Lógica Matemática. É uma linguagem de uso geral que é especialmente associada com a inteligência artificial e lingüística computacional. Consiste numa linguagem puramente lógica, que pode ser chamada de Prolog puro, e numa linguagem concreta, a qual acrescenta o Prolog puro com componentes extra-lógicos. |
| lexicalization | por: Prolog |
| lexicalization | por: programação lógica |
| Moldavian |
| has gloss | ron: Prolog este un limbaj specific inteligenţei artificiale ( Prolog - Programming in Logic ) Originea lui aparţine lui Alain Calmaureur de la Universitatea din Marsilia, Franţa. Iniţial a fost conceput pentru analiza lexicală. Azi in mod curent exista mai multe implementări atât open source cât şi proprietare. Printre cele mai bune implementari open source existente azi se numara swi-prolog . |
| lexicalization | ron: prolog |
| Russian |
| has gloss | rus: Пролог — язык и система логического программирования, основанные на языке предикатов математической логики дизъюнктов Хорна, представляющей собой подмножество логики предикатов первого порядка. |
| lexicalization | rus: Пролог |
| Slovak |
| has gloss | slk: Prolog (pj) PROLOG <PJ> je programovací jazyk pre úlohy umelého intelektu. |
| lexicalization | slk: Prolog |
| Slovenian |
| has gloss | slv: Prolog (kratica za Programming in Logic; programiranje v logiki) je logični programski jezik, ki je zasnovan na funkcijskem programiranju. Programiranje v tem jeziku poteka v simbolni logiki, jezik pa je izvirno zasnovan za dokazovanje izrekov, sedaj pa je bolj splošno v uporabi v umetni inteligenci. Zelo znano delo Prolog in umetna inteligenca je napisal slovenski strokovnjak Ivan Bratko. |
| lexicalization | slv: Prolog |
| Castilian |
| has gloss | spa: El Prolog (o PROLOG), proveniente del francés PROgrammation en LOGique, es un lenguaje de programación lógico e interpretado, bastante conocido en el medio de investigación en Inteligencia Artificial. |
| lexicalization | spa: Prolog |
| Swedish |
| has gloss | swe: Prolog, ett programspråk för logikprogrammering. Prolog skiljer sig från de flesta andra programspråk i och med att det bygger på logiska uttryck och inte på instruktioner för datorn. Prolog används främst inom områdena artificiell intelligens och språkbehandling. |
| lexicalization | swe: Prolog |
| lexicalization | swe: logikprogrammering |
| Tajik |
| has gloss | tgk: Пролог (Prolog) — язык логического программирования, основанный на логике дизъюнктов Хорна, представляющей собой подмножество логики предикатов первого порядка. |
| lexicalization | tgk: Пролог |
| Thai |
| has gloss | tha: ภาษาโปรล็อก (Prolog) เป็นภาษาสำหรับการเขียนโปรแกรมเชิงตรรกะ ได้ชื่อมาจาก PROgrammation en LOGique (logic programming) สร้างขึ้นโดย Alain Colmerauer ราว ค.ศ. 1972 ภาษาโปรล็อกเกิดจากความพยายามที่จะสร้างภาษาที่อาศัยวิธีการทางตรรกศาสตร์แทนที่จะกำหนดคำสั่งอย่างละเอียดให้กับคอมพิวเตอร์ |
| lexicalization | tha: ภาษาโปรล็อก |
| lexicalization | tha: การเขียนโปรแกรมเชิงตรรกะ |
| Turkish |
| lexicalization | tur: Prolog |
| Ukrainian |
| has gloss | ukr: Проло́г — мова логічного програмування. Пролог заснований на теорії предикатів першого порядку. Назва мови програмування розшифровується як (Програмування в логіці). Ідея використання можливостей наведення теорії предикатів першого порядку — одна з головних переваг мови Пролог для комп'ютерних наук взагалі та штучного інтелекту. |
| lexicalization | ukr: Пролог |
| Vietnamese |
| has gloss | vie: Prolog là một ngôn ngữ lập trình. Tên gọi Prolog được xuất phát từ cụm từ tiếng Pháp Programmation en logique, nghĩa là "lập trình theo lô gích". Xuất hiện từ năm 1972 (do Alain Colmerauer và Robert Kowalski thiết kế), mục tiêu của Prolog là giúp người dùng mô tả lại bài toán trên ngôn ngữ của logic, dựa trên đó, máy tính sẽ tiến hành suy diễn tự động dựa vào những cơ chế suy diễn có sẵn (hợp nhất, quay lui và tìm kiếm theo chiều sâu) để tìm câu trả lời cho người dùng. |
| lexicalization | vie: Prolog |
| Chinese |
| has gloss | zho: Prolog（Programming in Logic的缩写）是一种逻辑编程语言。它建立在逻辑学的理论基础之上， 最初被运用于自然语言等研究领域。现在它已广泛的应用在人工智能的研究中，它可以用来建造专家系统、自然语言理解、智能知识库等。 |
| lexicalization | zho: Prolog |
