Category:Logic programming

English: Logic programming is the study of computer programs that implement logic.
Category:Uses of Wikidata InfoboxCategory:Uses of Wikidata Infobox with no image
programación lógica; 邏輯編程; programació lògica; logische Programmierung; programimi logjik; برنامه‌نویسی منطقی; 邏輯編程; logisk programmering; Mantık programlama; 邏輯編程; logikprogrammering; תכנות לוגי; 邏輯編程; 逻辑编程; logisch programmeren; 논리형 프로그래밍; logikalıq programmalastırıw; logika programado; Logické programování; Logičko programiranje; programmazione logica; যুক্তিভিত্তিক প্রোগ্রামিং; programmation logique; логічне програмування; Loogiline programmeerimine; programare logică; Programación lóxica; Logičko programiranje; ríomhchlárú loighce; Pengaturcaraan logik; Logiikkapohjainen ohjelmointikieli; programação lógica; 邏輯編程; Logika programeso; programowanie logiczne; loginis programavimas; logično programiranje; การเขียนโปรแกรมเชิงตรรกะ; 論理プログラミング; 逻辑编程; logesch Programméierung; logisk programmering; logisk programmering; Nəticəçıxarma proqramlaşdırması; Логичко програмирање; lập trình logic; Лоґічне проґрамованя; Логическо програмиране; logic programming; برمجة منطقية; 逻辑编程; логическое программирование; programerska paradigma, ki temelji na formalni logiki; コンピュータプログラミングでの数理論理学の使用; Programméierparadigma; פרדיגמת השמה מבוססת על לוגיקה פורמלית; paradigma de programació basat en la lògica formal; regelbasierte Computerprogrammierung; programming paradigm based on formal logic; استعمال المنطق الرياضي من أجل برمجة الحاسوب; tipo di programmazione informatica; formal logikaǵa tiykarlanǵan programmalastırıw paradigması; paradigma lógico; programacion Logica; paradigma logico; programacion Lógica; লজিক প্রোগ্রামিং; Язык логического программирования; Логический язык программирования; Regelbasierte Programmierung; Logische Programmiersprache; Regelbasierte Programmiersprache; Logikprogrammierung; Logic programming; برنامه نویسی منطقی; برنامهٔ نویسی منطقی; 逻辑编程; 規則式編程; Mantıksal programlama; 論理型プログラミング; 論理型言語; deductieve logische programmeertaal; 邏輯程式設計; 規則式程式設計; 逻辑程序设计; 논리 프로그래밍; Logiikkaohjelmointi; use logic programming; logic programming; 規則式編程; Logické jazyky
logic programming 
programming paradigm based on formal logic
Upload media
Instance of
Subclass of
Authority file
Wikidata Q275603
GND ID: 4195096-3
Library of Congress authority ID: sh86003454
Bibliothèque nationale de France ID: 12067891q
BNCF Thesaurus ID: 7540
NL CR AUT ID: ph122430
National Library of Spain SpMaBN ID (BNE v1.0): XX550687
BabelNet ID: 00051854n
J9U ID: 987007553495005171
Edit infobox data on Wikidata
Category:1972 introductions Category:Programming language by paradigm Category:Declarative programming Category:Logic in computer science#programming Category:Artificial intelligence

Pages in category "Category:Logic programming"

Category:1972 introductions Category:Artificial intelligence Category:Declarative programming Category:Logic in computer science Category:Programming language by paradigm Category:Uses of Wikidata Infobox Category:Uses of Wikidata Infobox with no image