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.
programación lógica (es); Логическое программирование (ru); Logische Programmierung (de); Ríomhchlárú loighce (ga); برنامه‌نویسی منطقی (fa); 邏輯編程 (zh); programare logică (ro); 邏輯編程 (zh-hk); Logikprogrammering (sv); Логічне програмування (uk); 邏輯編程 (zh-hant); 逻辑编程 (zh-cn); 논리형 프로그래밍 (ko); logika programado (eo); Logické programování (cs); Logičko programiranje (bs); programmazione logica (it); যুক্তিভিত্তিক প্রোগ্রামিং (bn); programmation logique (fr); Logičko programiranje (hr); Logisch programmeren (nl); Mantık programlama (tr); programimi logjik (sq); programação lógica (pt); Programación lóxica (gl); lập trình logic (vi); 論理プログラミング (ja); Логичко програмирање (sr); Pengaturcaraan logik (ms); Logiikkapohjainen ohjelmointikieli (fi); 邏輯編程 (zh-tw); 逻辑编程 (zh-sg); การเขียนโปรแกรมเชิงตรรกะ (th); programowanie logiczne (pl); logiskprogrammering (nb); Nəticəçıxarma proqramlaşdırması (az); Логическо програмиране (bg); Loogiline programmeerimine (et); Лоґічне проґрамованя (rue); Logika programeso (io); logic programming (en); برمجة منطقية (ar); 逻辑编程 (zh-hans); תכנות לוגי (he) programming paradigm based on formal logic (en); コンピュータプログラミングでの数理論理学の使用 (ja) Mantıksal programlama (tr); 論理型プログラミング, 論理型言語 (ja); logic programming (it); 逻辑编程, 規則式編程 (zh); লজিক প্রোগ্রামিং (bn); Logiikkaohjelmointi (fi); Язык логического программирования, Логический язык программирования (ru); Deductieve logische programmeertaal (nl); 邏輯程式設計, 規則式程式設計 (zh-hant); 逻辑程序设计 (zh-cn); Regelbasierte Programmierung, Logische Programmiersprache, Regelbasierte Programmiersprache, Logikprogrammierung, Logic programming (de); 논리 프로그래밍 (ko); paradigma lógico, programacion Logica, paradigma logico, programacion Lógica (es); برنامه نویسی منطقی, برنامهٔ نویسی منطقی (fa); 規則式編程 (zh-hans); Logické jazyky (cs)
logic programming 
programming paradigm based on formal logic
Upload media
Wikipedia-logo-v2.svg  Wikipedia
Instance ofprogramming paradigm,
computer science term
Subclass ofdeclarative programming
Authority control
Edit infobox data on Wikidata

Subcategories

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

C

I

P