Category:Logic programming

From Wikimedia Commons, the free media repository
Jump to navigation Jump to search
English: Logic programming is the study of computer programs that implement logic.
<nowiki>programación lógica; 邏輯編程; programació lògica; logische Programmierung; programimi logjik; برنامه‌نویسی منطقی; 邏輯編程; logisk programmering; Mantık programlama; 邏輯編程; logikprogrammering; תכנות לוגי; 邏輯編程; 逻辑编程; 논리형 프로그래밍; logika programado; Logické programování; Logičko programiranje; programmazione logica; যুক্তিভিত্তিক প্রোগ্রামিং; programmation logique; logisch programmeren; Logičko programiranje; логическое программирование; логічне програмування; Programación lóxica; Логическо програмиране; ríomhchlárú loighce; Pengaturcaraan logik; programação lógica; Logiikkapohjainen ohjelmointikieli; 邏輯編程; 論理プログラミング; Логичко програмирање; logično programiranje; programowanie logiczne; การเขียนโปรแกรมเชิงตรรกะ; 逻辑编程; Logesch Programméierung; logisk programmering; logisk programmering; Nəticəçıxarma proqramlaşdırması; Logika programeso; lập trình logic; Лоґічне проґрамованя; Loogiline programmeerimine; logic programming; برمجة منطقية; 逻辑编程; programare logică; programerska paradigma, ki temelji na formalni logiki; コンピュータプログラミングでの数理論理学の使用; regelbasierte Computerprogrammierung; programming paradigm based on formal logic; استعمال المنطق الرياضي من أجل برمجة الحاسوب; פרדיגמת השמה מבוססת על לוגיקה פורמלית; Programméierparadigma; Mantıksal programlama; 論理型プログラミング; 論理型言語; logic programming; 逻辑编程; 規則式編程; লজিক প্রোগ্রামিং; Logiikkaohjelmointi; Язык логического программирования; Логический язык программирования; deductieve logische programmeertaal; 邏輯程式設計; 規則式程式設計; 逻辑程序设计; Regelbasierte Programmierung; Logische Programmiersprache; Regelbasierte Programmiersprache; Logikprogrammierung; Logic programming; 논리 프로그래밍; paradigma lógico; programacion Logica; paradigma logico; programacion Lógica; برنامه نویسی منطقی; برنامهٔ نویسی منطقی; 規則式編程; Logické jazyky</nowiki>
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 ID: XX550687
BabelNet ID: 00051854n
National Library of Israel J9U ID: 987007553495005171
Edit infobox data on Wikidata

Subcategories

This category has the following 4 subcategories, out of 4 total.

Media in category "Logic programming"

The following 4 files are in this category, out of 4 total.