| Bengali |
| has gloss | ben: যুক্তিভিত্তিক প্রোগ্রামিং স্বয়ংক্রিয় উপপাদ্য প্রমাণের প্রক্রিয়া থেকে অবরোহী প্রণালীর ধারণা ধার করেছে। এই প্রোগ্রামিং ঘরানায় অবরোহী প্রণালীর প্রক্রিয়াকরণের সময় কিছু মান গণনা করা হয়। যুক্তিভিত্তিক প্রোগ্রামিং প্রথম-ক্রমের যুক্তিবিজ্ঞানের সিন্ট্যাক্স অনুসরণ করে। প্রথম-ক্রমের যুক্তিবিজ্ঞান প্রথম আলোচনা করেন ঊনিশ শতকের দ্বিতীয়ার্ধে গটলব ফ্রেগে এবং একে বর্তমানে ব্যবহৃত রূপ দেন জুসেপ্পে পেয়ানো এবং বার্ট্রান্ড রাসেল। |
| lexicalization | ben: যুক্তিভিত্তিক প্রোগ্রামিং |
| Bosnian |
| lexicalization | bos: Logičko programiranje |
| Czech |
| has gloss | ces: Logické programování je v širším významu použití matematické logiky jako prostředku pro programování. Jeho počátky můžeme vystopovat až k návrhu Johna McCarthse advice taker (rádce) [1958]. V tomto návrhu slouží logika pro čistě deklarativní reprezentaci jazyka a dokazovač vět (theorem-prover) nebo generátor modelů (model-generator) se používá jako řešitel problémů (problem-solver). Řešení problému se tak dělí mezi programátora (ručí za správnost programu vyjádřené v logické formě) a dokazovač vět nebo generátor modelů (odpovídá za efektivní řešení problému). |
| lexicalization | ces: logické programování |
| German |
| has gloss | deu: Logische Programmierung (Prädikative Programmierung) ist ein Programmierparadigma, das auf der mathematischen Logik beruht. Anders als bei der imperativen Programmierung besteht ein Logik-Programm nicht aus einer Folge von Anweisungen, sondern aus einer Menge von Axiomen, welche hier als eine reine Ansammlung von Fakten oder Annahmen zu verstehen sind. Stellt der Benutzer eines Logik-Programms eine Anfrage, so versucht der Interpreter die Lösungsaussage allein aus den Axiomen zu berechnen. |
| lexicalization | deu: Logische Programmierung |
| Esperanto |
| lexicalization | epo: Logika programado |
| Persian |
| has gloss | fas: برنامهنویسی منطقی در کلیترین مفهوم آن، کاربرد منطق ریاضی در برنامهنویسی رایانه است. |
| lexicalization | fas: برنامهنویسی منطقی |
| Finnish |
| has gloss | fin: Logiikkapohjainen ohjelmointikieli kuvaa maailman faktoina ja faktojen välisinä suhteina. Esimerkiksi "Ville on Kallen isä, Matti on Villen isä, X on Y:n poika, jos Y on X:n isä ja jälkeläinen on poika tai pojan jälkeläinen" kuvataan prolog-kielellä näin: |
| lexicalization | fin: logiikkapohjainen ohjelmointikieli |
| lexicalization | fin: Logiikkapohjainen ohjelmointikieli |
| French |
| has gloss | fra: La programmation logique est une forme de programmation qui définit les applications à laide dun ensemble de faits élémentaires les concernant et de règles de logique leur associant des conséquences plus ou moins directes. Ces faits et ces règles sont exploités par un démonstrateur de théorème ou moteur d'inférence, en réaction à une question ou requête. |
| lexicalization | fra: programmation logique |
| Galician |
| has gloss | glg: A programación lóxica consiste na aplicación do corpus de coñecemento sobre lóxica para o deseño de linguaxes de programación; non debe confundirse coa disciplina da lóxica computacional. |
| lexicalization | glg: programación lóxica |
| Hebrew |
| has gloss | heb: תכנות לוגי הינו פרדיגמת תכנות השמה דגש על יחסים ככלי הפשטה עיקרי. יחסים הינם כלי המאפשר לקשר בין ערכים שונים באמצעות עובדות המוגדרות מראש. |
| lexicalization | heb: תכנות לוגי |
| Ido |
| has gloss | ido: Logika programeso es deklarativa programesa paradigmo en qua atribut-ensemblo ke solvo devas esar precizita prefere ke paz-ensemblo da obtenar ta solvo. La plu uzita logika programesa linguo es Prolog. Altra, plu moderna inkluzas Mercury, Visual Prolog, ed Oz. Skemecala, la proceso es: |
| lexicalization | ido: Logika programeso |
| Italian |
| has gloss | ita: La programmazione logica è un paradigma di programmazione che adotta la logica del primo ordine sia per rappresentare sia per elaborare l'informazione. |
| lexicalization | ita: Programmazione logica |
| Japanese |
| has gloss | jpn: 論理プログラミング（Logic Programming）とは、広い意味では、コンピュータプログラミングでの数理論理学の使用である。この観点での論理プログラミングは、ジョン・マッカーシー[1958]のadvice takerの提案にまでさかのぼることができる。 より一般的に受け入られている狭い意味での論理プログラミングは、述語論理式を非決定的なプログラミング言語とみなすもので、述語論理式は宣言的であると同時に手続き的にも解釈される。 |
| lexicalization | jpn: 論理プログラミング |
| Malay (macrolanguage) |
| has gloss | msa: Pengaturcaraan logik merupakan paradigma dalam pengaturcaraan komputer di mana ia merupakan penyelesaian logik kepada penyataan-penyataan yang diisytiharkan, dan dalam logik di mana sesuatu algoritma digunakan untuk penyelesaian logik secara mesin. |
| lexicalization | msa: Pengaturcaraan logik |
| Dutch |
| has gloss | nld: Logisch programmeren is een vorm van programmeren die valt onder het declaratieve paradigma. Een veelgebruikte logische programmeertaal is Prolog. Ook SQL is een declaratieve taal. Logische talen vinden vooral toepassing in de Computationele Taalkunde en Kunstmatige Intelligentie. Inductief logisch programmeren is een andere vorm van logisch programmeren. |
| lexicalization | nld: logisch programmeren |
| lexicalization | nld: Logisch programmeren |
| Polish |
| has gloss | pol: Programowanie logiczne (nazywane także programowaniem w logice lub programowaniem w języku logiki) to będąca odmianą programowania deklaratywnego metoda programowania, w której program podawany jest jako pewien zestaw zależności, a obliczenia są dowodem pewnego twierdzenia w oparciu o te zależności. |
| lexicalization | pol: programowanie logiczne |
| lexicalization | pol: Programowanie logiczne |
| Portuguese |
| has gloss | por: Programação lógica é um paradigma de programação que faz uso da lógica matemática. John McCarthy [1958] foi o primeiro a publicar uma proposta de uso da lógica matemática para programação. |
| lexicalization | por: programação lógica |
| Russian |
| has gloss | rus: Логи́ческое программи́рование — парадигма программирования, основанная на автоматическом доказательстве теорем, а также раздел дискретной математики, изучающий принципы логического вывода информации на основе заданных фактов и правил вывода. Логическое программирование основано на теории и аппарате математической логики с использованием математических принципов резолюций. |
| lexicalization | rus: Логическое программирование |
| Castilian |
| has gloss | spa: La programación lógica consiste en la aplicación del corpus de conocimiento sobre lógica para el diseño de lenguajes de programación; no debe confundirse con la disciplina de la lógica computacional. |
| lexicalization | spa: Programacion logica |
| lexicalization | spa: Programación lógica |
| Swedish |
| has gloss | swe: Logikprogrammering är ett programmeringsparadigm baserat på att bevis av predikatlogiska satser på vissa former kan automatiseras, vilket upptäcktes av Alan Robinson på 1960-talet. Logikprogrammering är deklarativ, programmeraren anger vad som ska göras inte hur (som i imperativ programmering). Ett logikprogram består av en formulering av problemet man vill ha löst på en predikatlogisk form. Sen är det upp till en interpretator att bevisa satsen/programmet. Deklarativiteten är en av fördelarna med logikprogrammering, en annan (som blir mer och mer aktuell) är att bevis av predikatlogiska satser kan parallelliseras automatiskt. Det är av stort intresse för att på ett enkelt sätt kunna skriva effektiva program för datorer med flera processorer eller processorkärnor, vilket har visat sig svårt med imperativ programmering. |
| lexicalization | swe: logikprogrammering |
| Thai |
| has gloss | tha: การเขียนโปรแกรมเชิงตรรกะ (Logic programming) เป็นแนวทางการเขียนโปรแกรม (programming paradigm) แบบหนึ่ง โดยกำหนดเซตคุณลักษณะ (attribute) ของคำตอบ แทนที่จะกำหนดขั้นตอนที่ทำให้ได้คำตอบ ภาษาโปรแกรมสำหรับการเขียนโปรแกรมเชิงตรรกะที่ใช้อย่างกว้างขวาง คือ ภาษาโปรล็อก (Prolog) อีกภาษาหนึ่งที่ใช้ในเชิงการค้า คือ ภาษาเมอร์คิวรี (Mercury) การเขียนโปรแกรมแบบนี้มีหลักการคือ ความจริง + กฎ = ผลลัพธ์ หลักการอื่นที่แตกต่างให้ดู การเขียนโปรแกรมตรรกะเชิงอุปนัย (Inductive logic programming) |
| lexicalization | tha: การเขียนโปรแกรมเชิงตรรกะ |
| Ukrainian |
| has gloss | ukr: Логі́чне програмува́ння — парадигма програмування, а також розділ дискретної математики, що вивчає методи і можливості цієї парадигми, засновані на виведенні нових фактів з даних фактів згідно заданим логічним правилам. Логічне програмування засноване на теорії математичної логіки. Найвідомішою мовою логічного програмування є Prolog, що є за своєю суттю універсальною машиною виводу, що працює в припущенні замкнутості системи фактів. |
| lexicalization | ukr: Логічне програмування |
| Chinese |
| has gloss | zho: 邏輯編程是種編程典範，它設定答案須符合的規則來解決問題，而非設定步驟來解決問題。過程是 事實+規則=結果。 不同的方法，可以看Inductive logic programming。 |
| lexicalization | zho: 邏輯編程 |
