About: logic programming

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: logic programming Goto Sponge NotDistinct Permalink

An Entity of Type : wikibase:Item, within Data Space : wikidata.demo.openlinksw.com associated with source document(s)

programming paradigm based on formal logic

Attributes	Values
rdf:type	Item
description	Programméierparadigma (lb) programerska paradigma, ki temelji na formalni logiki (sl) استعمال المنطق الرياضي من أجل برمجة الحاسوب (ar) コンピュータプログラミングでの数理論理学の使用 (ja) פרדיגמת השמה מבוססת על לוגיקה פורמלית (he) programming paradigm based on formal logic (en) regelbasierte Computerprogrammierung (de)
rdfs:label	Logesch Programméierung (lb) Logické programování (cs) Logiikkapohjainen ohjelmointikieli (fi) Logika programeso (io) Logičko programiranje (bs) Logičko programiranje (hr) Loogiline programmeerimine (et) Mantık programlama (tr) Nəticəçıxarma proqramlaşdırması (az) Pengaturcaraan logik (ms) Programación lóxica (gl) logic programming (en) logika programado (eo) logikprogrammering (sv) logisch programmeren (nl) logische Programmierung (de) logisk programmering (da) logisk programmering (nb) logisk programmering (nn) logično programiranje (sl) lập trình logic (vi) programació lògica (ca) programación lógica (es) programare logică (ro) programação lógica (pt) programimi logjik (sq) programmation logique (fr) programmazione logica (it) programowanie logiczne (pl) ríomhchlárú loighce (ga) การเขียนโปรแกรมเชิงตรรกะ (th) логическое программирование (ru) যুক্তিভিত্তিক প্রোগ্রামিং (bn) Логическо програмиране (bg) Логичко програмирање (sr) Лоґічне проґрамованя (rue) логічне програмування (uk) תכנות לוגי (he) برمجة منطقية (ar) برنامه‌نویسی منطقی (fa) 論理プログラミング (ja) 逻辑编程 (zh-cn) 逻辑编程 (zh-sg) 逻辑编程 (zh-hans) 邏輯編程 (zh) 邏輯編程 (zh-hk) 邏輯編程 (zh-tw) 邏輯編程 (zh-hant) 邏輯編程 (yue) 논리형 프로그래밍 (ko)
skos:prefLabel	Logesch Programméierung (lb) Logické programování (cs) Logiikkapohjainen ohjelmointikieli (fi) Logika programeso (io) Logičko programiranje (bs) Logičko programiranje (hr) Loogiline programmeerimine (et) Mantık programlama (tr) Nəticəçıxarma proqramlaşdırması (az) Pengaturcaraan logik (ms) Programación lóxica (gl) logic programming (en) logika programado (eo) logikprogrammering (sv) logisch programmeren (nl) logische Programmierung (de) logisk programmering (da) logisk programmering (nb) logisk programmering (nn) logično programiranje (sl) lập trình logic (vi) programació lògica (ca) programación lógica (es) programare logică (ro) programação lógica (pt) programimi logjik (sq) programmation logique (fr) programmazione logica (it) programowanie logiczne (pl) ríomhchlárú loighce (ga) การเขียนโปรแกรมเชิงตรรกะ (th) логическое программирование (ru) যুক্তিভিত্তিক প্রোগ্রামিং (bn) Логическо програмиране (bg) Логичко програмирање (sr) Лоґічне проґрамованя (rue) логічне програмування (uk) תכנות לוגי (he) برمجة منطقية (ar) برنامه‌نویسی منطقی (fa) 論理プログラミング (ja) 逻辑编程 (zh-cn)

Faceted Search & Find service v1.16.117 as of May 05 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3239 as of May 5 2024, on Linux (x86_64-centos_6-linux-gnu), Single-Server Edition (378 GB total memory, 190 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software