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

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

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n13http://xsb.sourceforge.net/downloads/
n18https://global.dbpedia.org/id/
yagohttp://dbpedia.org/class/yago/
schemahttp://schema.org/
dbthttp://dbpedia.org/resource/Template:
n21http://dl.acm.org/
dbpedia-ukhttp://uk.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n8http://www.cs.sunysb.edu/~warren/xsbbook/
n10http://xsb.sourceforge.net/
freebasehttp://rdf.freebase.com/ns/
n9http://citeseerx.ist.psu.edu/viewdoc/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
dbpedia-ithttp://it.dbpedia.org/resource/
wikipedia-enhttp://en.wikipedia.org/wiki/
dbphttp://dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
dbchttp://dbpedia.org/resource/Category:
xsdhhttp://www.w3.org/2001/XMLSchema#
n22https://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/prolog/impl/prolog/sbprolog/
wikidatahttp://www.wikidata.org/entity/
goldhttp://purl.org/linguistics/gold/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:XSB
rdf:type
yago:ArtificialLanguage106894544 dbo:Software yago:Communication100033020 dbo:Language yago:Language106282651 schema:Language dbo:ProgrammingLanguage yago:Abstraction100002137 wikidata:Q315 yago:ProgrammingLanguage106898352 owl:Thing wikidata:Q9143
rdfs:label
XSB XSB XSB
rdfs:comment
XSB è il nome di un dialetto del linguaggio di programmazione Prolog. La sua implementazione è sviluppata presso la Stony Brook University in collaborazione con la Katholieke Universiteit Leuven, la New University of Lisbon, l'Università di Uppsala e il fornitore di software XSB, Inc. XSB estende Prolog con il tabling e HiLog (estensione standard di Prolog che permette un limitato utilizzo di programmazione logica di ordine superiore). L'implementazione XSB open source include un'interfaccia per il linguaggio di programmazione Java. XSB це діалект мови програмування Prolog та його реалізація, розроблена в у співробітництві з Katholieke Universiteit Leuven, , та розробником програмного забезпечення XSB, Inc. XSB розширює представлення резолюцій Prolog та HiLog (стандарт розширення Prolog обмежених дозволів високо-впорядкованої мови програмування). Реалізація XSB з відкритим сирцевим кодом включає для мови програмування Java. XSB is the name of a dialect of the Prolog programming language and its implementation developed at Stony Brook University in collaboration with the Katholieke Universiteit Leuven, the New University of Lisbon, Uppsala University and software vendor XSB, Inc. XSB extends Prolog with tabled resolution and HiLog (a standard extension of Prolog permitting limited higher-order logic programming). The open source XSB implementation includes an interface to the Java programming language.
foaf:name
XSB
foaf:homepage
n10:
dbp:name
XSB
foaf:page
n10:
dcterms:subject
dbc:Logic_programming_languages
dbo:wikiPageID
4723102
dbo:wikiPageRevisionID
1094015610
dbo:wikiPageWikiLink
dbr:String_(computer_science) dbr:New_University_of_Lisbon dbr:Open_source dbr:Katholieke_Universiteit_Leuven dbr:Decimal dbr:Senary dbr:Foreign_function_call dbr:Floating_Point dbr:Lisp_(programming_language) dbr:David_S._Warren dbr:Binary_number dbc:Logic_programming_languages dbr:SB-Prolog dbr:Radix dbr:Prolog dbr:Uppsala_University dbr:Programming_language dbr:Software_company dbr:HiLog dbr:Memoization dbr:Cross-platform dbr:Terrance_Swift dbr:Logic_programming_language dbr:PSB-Prolog dbr:Java_(programming_language) dbr:Resolution_(logic) dbr:Stony_Brook_University dbr:Integers dbr:Logic_Programming dbr:Higher-order_logic_programming dbr:Data_types
dbo:wikiPageExternalLink
n8: n9:summary%3Fdoi=10.1.1.48.4048 n10:about.html n9:summary%3Fdoi=10.1.1.75.4862 n13:manual1.pdf n10: n21:citation.cfm%3Fid=2139880 n22:0.html
owl:sameAs
n18:4xW6e freebase:m.0ck33d dbpedia-uk:XSB wikidata:Q8042469 dbpedia-it:XSB
dbp:wikiPageUsesTemplate
dbt:Start_date_and_age dbt:Compu-lang-stub dbt:Reflist dbt:Infobox_programming_language
dbp:designer
David S. Warren, Terrance Swift, Kostis Sagonas
dbp:developer
XSB Research Group
dbp:influencedBy
dbr:SB-Prolog dbr:Prolog dbr:PSB-Prolog
dbp:latestReleaseDate
2021-04-01
dbp:latestReleaseVersion
4
dbp:operatingSystem
dbr:Cross-platform
dbp:paradigm
dbr:Logic_Programming
dbp:website
n10:
dbo:abstract
XSB це діалект мови програмування Prolog та його реалізація, розроблена в у співробітництві з Katholieke Universiteit Leuven, , та розробником програмного забезпечення XSB, Inc. XSB розширює представлення резолюцій Prolog та HiLog (стандарт розширення Prolog обмежених дозволів високо-впорядкованої мови програмування). Реалізація XSB з відкритим сирцевим кодом включає для мови програмування Java. XSB è il nome di un dialetto del linguaggio di programmazione Prolog. La sua implementazione è sviluppata presso la Stony Brook University in collaborazione con la Katholieke Universiteit Leuven, la New University of Lisbon, l'Università di Uppsala e il fornitore di software XSB, Inc. XSB estende Prolog con il tabling e HiLog (estensione standard di Prolog che permette un limitato utilizzo di programmazione logica di ordine superiore). L'implementazione XSB open source include un'interfaccia per il linguaggio di programmazione Java. XSB is the name of a dialect of the Prolog programming language and its implementation developed at Stony Brook University in collaboration with the Katholieke Universiteit Leuven, the New University of Lisbon, Uppsala University and software vendor XSB, Inc. XSB extends Prolog with tabled resolution and HiLog (a standard extension of Prolog permitting limited higher-order logic programming). The open source XSB implementation includes an interface to the Java programming language.
dbp:fileExt
.P
gold:hypernym
dbr:Dialect
prov:wasDerivedFrom
wikipedia-en:XSB?oldid=1094015610&ns=0
dbo:wikiPageLength
3926
dbo:latestReleaseDate
2021-04-01
dbo:latestReleaseVersion
4.0
dbo:designer
dbr:David_S._Warren dbr:Terrance_Swift
dbo:influencedBy
dbr:PSB-Prolog dbr:Prolog dbr:SB-Prolog
foaf:isPrimaryTopicOf
wikipedia-en:XSB