| rdfs:comment
| - La programació lògica consisteix en l'aplicació del corpus de coneixement sobre lògica per al disseny de llenguatges de programació; no ha de confondre's amb la disciplina de la lògica computacional. La programació lògica és un tipus de paradigmes de programació dins del paradigma de programació declarativa. La resta dels subparadigmes de programació dins de la programació declarativa són: programació funcional, programació basada en restriccions, programes DSL (de domini específic) i híbrids. La programació lògica gira entorn del concepte de predicat, o relació entre elements. La programació funcional es basa en el concepte de funció (que no és més que una evolució dels predicats), de caràcter més matemàtic. (ca)
- البرمجة المنطقية (بالإنجليزية: Logic programming) هي بمفهومها العام استعمال المنطق الرياضي من أجل برمجة الحاسوب. ويستعمل المنطق لغة تصريحية للتعبير عن المشكلة. خلاف الكثير من لغات البرمجة التقليدية فإن المبرمج في البرمجة المنطقية لا يقوم بحل المشكلة بشكل كامل، وانما يقع على عاتقه مسؤولية جزئية في حل المشكلة، وهي بتمثيل القضايا والمعارف بصفة منطقية (logical form)، ويقع الجزء الآخر لحل المشكلة على ما يدعى بمبرهن القضايا (theorem-prover) أو مولد النماذج (model-generator) الذي يقوم بحل المشكلة بشكل فعال. (ar)
- La programación lógica es un tipo de paradigma de programación dentro del paradigma de programación declarativa. El resto de los subparadigmas de programación dentro de la programación declarativa son: programación funcional, programación con restricciones, programas DSL (de dominio específico) e híbridos. La programación funcional se basa en el concepto de función (que no es más que una evolución de los predicados), de corte más matemático. La programación lógica gira en torno al concepto de predicado, o relación entre elementos. (es)
- Foirm ríomhchláraithe a bhaineann níos mó le measúnú na rialacha ná ceisteanna ar threoracha don ríomhaire. Is teangacha don ghnó seo LISP agus Prolog. (ga)
- 논리형 프로그래밍(論理型 프로그래밍, 영어: logic programming)은 논리 문장을 이용하여 프로그램을 표현하고 계산을 수행하는 개념에 기반을 둔다. 논리형 프로그래밍에서 볼 수 있는 일종의 논리 문장들은 (반드시 그런 것은 아니지만) 형태로 되어 있다: G if G<sub>1</sub> and … and G<sub>n</sub> 이러한 프로그램들은 이를테면 에서와 같이 순수하게 선언적으로 이해할 수 있다. 그러나 이들은 목표 추론 절차와 같이 절차적으로 이해할 수도 있다.: to show/solve G, show/solve G<sub>1</sub> and … and G<sub>n</sub> 위의 예는 프롤로그의 예이다. (answer set programming) 분야는 절대 문절 형태가 선택에 의해 확장되는 하나의 예이다. (ko)
- 論理プログラミング（Logic Programming）とは、数理論理学（記号論理学）を基礎にしたプログラミングパラダイム、または数理論理学のコンピュータプログラミングへの応用である。形式論理の論理式をソースコードの書式に投影することが基本になる。プログラミングに適用するための幅広い解釈が加えられており、研究対象としての論理プログラミングは非常に多様である。 より一般的に受け入れられている論理プログラミングは、述語論理を基礎にし、問題領域の事実と規則を論理式モデル書式で表現して（ロジック）非決定性の演繹の導出原理を用いる（コントロール）というものである。このアルゴリズムスタイルで最も普及した論理プログラミング言語は「Prolog」である。 (ja)
- 邏輯編程（逻辑程序设计）是種編程典範，它設定答案須符合的規則來解決問題，而非設定步驟來解決問題。過程是 算法=邏輯+控制。 不同的方法，可以看英語：Inductive logic programming。 邏輯編程的要點是將正規的邏輯風格帶入電腦程式設計之中。數學家和哲學家發現邏輯是有效的理論分析工具。很多問題可以自然地表示成一個理論。說需要解答一個問題，通常與解答一個新的假設是否跟現在的理論無衝突等價。邏輯提供了一個證明問題是真還是假的方法。建立證明的方法是人所皆知的，故邏輯是解答問題的可靠方法。邏輯編程系統則自動化了這個程序。人工智能在邏輯編程的發展中發揮了重要的影響。 是邏輯編程社群的著名問題。電腦須自行找出令猴子接觸香蕉的可行方法，取代程式設計師指定猴子接觸香蕉的路徑和方法。 邏輯編程建立了描述一個問題裏的世界的邏輯模型。邏輯編程的目標是對它的模型建立新的陳述。世界上知識不斷膨脹。傳統來說，我們會將一個問題陳述成單一的假設。邏輯編程的程式透過證明這個假設在模型裏是否為真來解決問題。 一些經常用到邏輯編程工具的範疇：
* 專家系統，程式從一個巨大的模型中產生一個建議或答案。
* 自動化定理證明，程式產生一些新定理來擴充現有的理論。 最常用的邏輯編程語言是Prolog，另外有較適用於大型方案的Mercury。詳盡的清單可見於Category:邏輯編程語言。 (zh)
- 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 McCarthyho 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). B1 a … a Bn implies H (cs)
- Logische Programmierung (Prädikative Programmierung, Logikprogrammierung) 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 Ansammlung von Fakten oder Annahmen zu verstehen ist. Stellt der Benutzer eines Logik-Programms eine Anfrage, so versucht der Interpreter, die Lösungsaussage allein aus den Axiomen zu berechnen. (de)
- Logic programming is a programming paradigm which is largely based on formal logic. Any program written in a logic programming language is a set of sentences in logical form, expressing facts and rules about some problem domain. Major logic programming language families include Prolog, answer set programming (ASP) and Datalog. In all of these languages, rules are written in the form of clauses: H :- B1, …, Bn. and are read declaratively as logical implications: H if B1 and … and Bn. H. to solve H, solve B1, and ... and solve Bn. Consider the following clause as an example: fallible(X) :- human(X). (en)
- La programmation logique est une forme de programmation qui définit les applications à l'aide :
* d'une base de faits : ensemble de faits élémentaires concernant le domaine visé par l'application,
* d'une : règles de logique associant des conséquences plus ou moins directes à ces faits,
* d'un moteur d'inférence (ou démonstrateur de théorème ) : exploite ces faits et ces règles en réaction à une question ou requête. (fr)
- In informatica la programmazione logica è un paradigma di programmazione nato negli anni '70 che adotta la logica del primo ordine sia per rappresentare sia per elaborare l'informazione. La programmazione logica differisce dalla programmazione tradizionale, sviluppata dalinguaggi ad alto livello quali Fortran, Cobol, Basic, Algol, Pascal, Ada, etc., in quanto richiede e nello stesso tempo consente al programmatore di descrivere la struttura logica del problema piuttosto che il modo di risolverlo . Da un punto di vista concettuale, il programmatore si può così concentrare sugli aspetti logici del problema e sul modo migliore per rappresentarli, senza essere focalizzato sulla necessità di determinare in dettaglio il modo di pervenire ai risultati. (it)
- Programowanie logiczne (nazywane także programowaniem w logice lub programowaniem w języku logiki) – metoda programowania, będąca odmianą programowania deklaratywnego, 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. Na przykład chcemy stwierdzić, czy w danym grafie skierowanym istnieje ścieżka z pewnego punktu do pewnego innego punktu. Krawędzie zapisane są relacją edge(Skąd, Dokąd). Nasz program wyglądałby w Prologu tak: Co czytamy następująco: (pl)
- 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 de kunstmatige intelligentie. logisch programmeren is een andere vorm van logisch programmeren.
* Katten hebben een vacht
* Een vacht bestaat uit haren De interpreter moet in dit geval antwoord kunnen geven op de vraag "Hebben katten haren?". Een voorbeeld van een functionele en logische programmeertaal is Curry. (nl)
- Логи́ческое программи́рование — парадигма программирования, основанная на математической логике — программы в ней задаются в форме логических утверждений и правил вывода. Наиболее известный язык логического программирования — Пролог. От Плэнера также произошли логические языки программирования , , и , а также язык , не использующих метод поиска с возвратами. Языки Mercury, Visual Prolog, Oz, , Datalog основаны на Прологе. (ru)
- 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. A primeira linguagem de programação lógica foi a Planner, a qual permitia a invocação orientada a padrões de planos procedimentais de asserções e de objetivos. Com a necessidade de adaptação aos sistemas de memória muito limitada, que eram disponíveis quando ela foi desenvolvida. A linguagem Planner usava estruturas de controle de backtracking, de tal forma que apenas um único caminho computacional tinha que ser armazenado por vez. Em seguida, o Prolog foi desenvolvido como uma simplificação do Planner que permitia a invocação orientada a padrões apenas a partir de objetivos (também baseado em backtracki (pt)
- Логі́чне програмува́ння — парадигма програмування, а також розділ дискретної математики, що вивчає методи і можливості цієї парадигми, засновані на виведенні нових фактів з даних фактів згідно із заданими логічними правилами. Логічне програмування засноване на теорії математичної логіки. Найвідомішою мовою логічного програмування є Prolog, що є за своєю суттю універсальною машиною виводу, що працює в припущенні замкненості системи фактів. (uk)
- Logikprogrammering är ett programmeringsparadigm baserat på att bevis av predikatlogiska satser på vissa former kan automatiseras, vilket upptäcktes av på 1960-talet. Logikprogrammering är deklarativ, programmeraren anger vad som ska göras men 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 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 programme (sv)
|
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)