This HTML5 document contains 84 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

PrefixNamespace IRI
n17http://caligraph.org/resource/Joule_(programming_language)
n6http://caligraph.org/ontology/RestrictionHasValue_academicDiscipline_Logic%20
rdfshttp://www.w3.org/2000/01/rdf-schema#
n14http://en.wikipedia.org/wiki/Category:
skoshttp://www.w3.org/2004/02/skos/core#
n11http://caligraph.org/resource/Lu%C3%AD
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
clgohttp://caligraph.org/ontology/
n13http://caligraph.org/resource/Keith_Clark_(computer_scientist)
n4http://caligraph.org/resource/John_McCarthy_(computer_scientist)
n10http://en.wikipedia.org/wiki/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbrhttp://dbpedia.org/resource/
n12http://caligraph.org/resource/Fran%C3%A7
n15http://en.wikipedia.org/wiki/A%2B%2B
clgrhttp://caligraph.org/resource/
Subject Item
clgr:Michael_Spivey
clgo:academicDiscipline
clgr:Logic_programming
Subject Item
clgr:Michael_Genesereth
clgo:academicDiscipline
clgr:Logic_programming
Subject Item
clgr:Lise_Getoor
clgo:academicDiscipline
clgr:Logic_programming
Subject Item
clgr:Logic_programming
rdf:type
clgo:Software_development_philosophy clgo:Academic_discipline clgo:Logic_journal owl:NamedIndividual clgo:Computer-related_introduction_in_1972 clgo:Cambridge_University_Press_journal
rdfs:label
Logic programming
owl:sameAs
dbr:Logic_programming
prov:wasDerivedFrom
n10:Outline_of_artificial_intelligence n10:Outline_of_academic_disciplines n10:International_Association_for_Computing_and_Philosophy n10:Outline_of_logic n10:List_of_logic_journals n10:Outline_of_computer_science n10:List_of_software_development_philosophies n10:List_of_academic_fields n10:List_of_Cambridge_University_Press_journals n10:Comparison_of_multi-paradigm_programming_languages n10:Fair_item_allocation n10:Outline_of_computer_programming n10:Azuqua n14:Computer-related_introductions_in_1972 n10:Inferential_programming n15: n10:Programming_language_theory n10:Programming_paradigm
skos:prefLabel
Logic programming
skos:altLabel
logic programs logical programming concurrent logic programming logic program rule-based Logic programming#Transaction logic programming rule bases logic programming languages Logic_programming#Higher-order_logic_programming Logic Programming logic-based programming logic language logic engine Logic programming#Linear logic programming Rule based programming languages logical programming languages Logic logic programming Logic programs Theory and Practice of Logic Programming logic programming rule engines logical languages logic languages logic in computer science Logic programming#Metalogic programming logical Concurrent Prolog Logic_programming#History logic programming language Logic-based logic Logic programming language Logic_programming#Object-oriented_logic_programming
clgo:academicDiscipline
clgr:Logic clgr:Philosophy
Subject Item
n11:s_Moniz_Pereira
clgo:academicDiscipline
clgr:Logic_programming
Subject Item
n4:
clgo:academicDiscipline
clgr:Logic_programming
Subject Item
clgr:Stephen_Muggleton
clgo:academicDiscipline
clgr:Logic_programming
Subject Item
n13:
clgo:academicDiscipline
clgr:Logic_programming
Subject Item
clgr:Vladimir_Lifschitz
clgo:academicDiscipline
clgr:Logic_programming
Subject Item
clgr:Robert_Kowalski
clgo:academicDiscipline
clgr:Logic_programming
clgo:knownFor
clgr:Logic_programming
Subject Item
n12:ois_Fages
clgo:academicDiscipline
clgr:Logic_programming
Subject Item
clgr:SWI-Prolog
clgo:genre
clgr:Logic_programming
Subject Item
clgr:Michael_Gelfond
clgo:academicDiscipline
clgr:Logic_programming
Subject Item
n17:
clgo:influencedBy
clgr:Logic_programming
Subject Item
clgr:Geoff_Sutcliffe
clgo:academicDiscipline
clgr:Logic_programming
Subject Item
clgr:Ben_Taskar
clgo:academicDiscipline
clgr:Logic_programming
Subject Item
clgr:Louis_Hodes
clgo:knownFor
clgr:Logic_programming
Subject Item
clgr:Johann_Makowsky
clgo:knownFor
clgr:Logic_programming
Subject Item
clgr:Veronica_Dahl
clgo:academicDiscipline
clgr:Logic_programming
clgo:knownFor
clgr:Logic_programming
Subject Item
clgr:Alexander_Tetelbaum
clgo:academicDiscipline
clgr:Logic_programming
Subject Item
n6:programming
owl:hasValue
clgr:Logic_programming