About: Logic programming

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Programming paradigm based on formal logic

Property Value
dbo:description
  • Programméierparadigma (lb)
  • programerska paradigma, ki temelji na formalni logiki (sl)
  • استعمال المنطق الرياضي من أجل برمجة الحاسوب (ar)
  • コンピュータプログラミングでの数理論理学の使用 (ja)
  • פרדיגמת השמה מבוססת על לוגיקה פורמלית (iw)
  • programming paradigm based on formal logic (en)
  • regelbasierte Computerprogrammierung (de)
  • paradigma de programació basat en la lògica formal (ca)
dbo:wikiPageExternalLink
dbo:wikiPageWikiLink
dbp:date
  • 2008-12-04 (xsd:date)
  • 2011-09-03 (xsd:date)
dbp:url
dbp:wikiPageUsesTemplate
dct:subject
gold:hypernym
rdfs:label
  • Logic programming (en)
  • برمجة منطقية (ar)
  • Programació lògica (ca)
  • Logické programování (cs)
  • Logische Programmierung (de)
  • Programación lógica (es)
  • Ríomhchlárú loighce (ga)
  • Programmazione logica (it)
  • 論理プログラミング (ja)
  • Programmation logique (fr)
  • 논리형 프로그래밍 (ko)
  • Logisch programmeren (nl)
  • Programowanie logiczne (pl)
  • Programação lógica (pt)
  • Логическое программирование (ru)
  • Логічне програмування (uk)
  • Logikprogrammering (sv)
  • 邏輯編程 (zh)
rdfs:seeAlso
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:academicDiscipline of
is dbo:genre of
is dbo:influencedBy of
is dbo:knownFor of
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is dbp:field of
is dbp:focus of
is dbp:genre of
is dbp:influencedBy of
is dbp:knownFor of
is dbp:paradigm of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International