XSB (original) (raw)
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.
| Property | Value |
|---|---|
| dbo:abstract | 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. (it) 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. (en) XSB це діалект мови програмування Prolog та його реалізація, розроблена в у співробітництві з Katholieke Universiteit Leuven, , та розробником програмного забезпечення XSB, Inc. XSB розширює представлення резолюцій Prolog та HiLog (стандарт розширення Prolog обмежених дозволів високо-впорядкованої мови програмування). Реалізація XSB з відкритим сирцевим кодом включає для мови програмування Java. (uk) |
| dbo:designer | dbr:David_S._Warren dbr:Terrance_Swift |
| dbo:influencedBy | dbr:Prolog dbr:PSB-Prolog dbr:SB-Prolog |
| dbo:latestReleaseDate | 2021-04-01 (xsd:date) |
| dbo:latestReleaseVersion | 4.0 |
| dbo:wikiPageExternalLink | http://xsb.sourceforge.net/ https://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/prolog/impl/prolog/sbprolog/0.html http://xsb.sourceforge.net/about.html http://xsb.sourceforge.net/downloads/manual1.pdf http://citeseerx.ist.psu.edu/viewdoc/summary%3Fdoi=10.1.1.48.4048 http://citeseerx.ist.psu.edu/viewdoc/summary%3Fdoi=10.1.1.75.4862 http://dl.acm.org/citation.cfm%3Fid=2139880 http://www.cs.sunysb.edu/~warren/xsbbook/ |
| dbo:wikiPageID | 4723102 (xsd:integer) |
| dbo:wikiPageLength | 3926 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1094015610 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Prolog dbr:Memoization dbr:Decimal dbr:Resolution_(logic) dbr:Uppsala_University dbc:Logic_programming_languages dbr:Cross-platform dbr:New_University_of_Lisbon dbr:Open_source dbr:Lisp_(programming_language) dbr:Stony_Brook_University dbr:Data_types dbr:String_(computer_science) dbr:Floating_Point dbr:Radix dbr:Java_(programming_language) dbr:Katholieke_Universiteit_Leuven dbr:Binary_number dbr:HiLog dbr:Software_company dbr:Integers dbr:Logic_Programming dbr:Foreign_function_call dbr:Programming_language dbr:Senary dbr:Logic_programming_language dbr:PSB-Prolog dbr:SB-Prolog dbr:David_S._Warren dbr:Terrance_Swift dbr:Higher-order_logic_programming |
| dbp:designer | David S. Warren, Terrance Swift, Kostis Sagonas (en) |
| dbp:developer | XSB Research Group (en) |
| dbp:fileExt | .P (en) |
| dbp:influencedBy | dbr:Prolog dbr:PSB-Prolog dbr:SB-Prolog |
| dbp:latestReleaseDate | 2021-04-01 (xsd:date) |
| dbp:latestReleaseVersion | 4 (xsd:integer) |
| dbp:name | XSB (en) |
| dbp:operatingSystem | dbr:Cross-platform |
| dbp:paradigm | dbr:Logic_Programming |
| dbp:website | http://xsb.sourceforge.net/ |
| dbp:wikiPageUsesTemplate | dbt:Infobox_programming_language dbt:Reflist dbt:Start_date_and_age dbt:Compu-lang-stub |
| dcterms:subject | dbc:Logic_programming_languages |
| gold:hypernym | dbr:Dialect |
| rdf:type | owl:Thing dbo:Language dbo:Software schema:Language wikidata:Q315 wikidata:Q9143 yago:Abstraction100002137 yago:ArtificialLanguage106894544 yago:Communication100033020 yago:Language106282651 yago:ProgrammingLanguage106898352 dbo:ProgrammingLanguage |
| 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. (it) 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. (en) XSB це діалект мови програмування Prolog та його реалізація, розроблена в у співробітництві з Katholieke Universiteit Leuven, , та розробником програмного забезпечення XSB, Inc. XSB розширює представлення резолюцій Prolog та HiLog (стандарт розширення Prolog обмежених дозволів високо-впорядкованої мови програмування). Реалізація XSB з відкритим сирцевим кодом включає для мови програмування Java. (uk) |
| rdfs:label | XSB (it) XSB (en) XSB (uk) |
| owl:sameAs | freebase:XSB wikidata:XSB dbpedia-it:XSB dbpedia-uk:XSB https://global.dbpedia.org/id/4xW6e |
| prov:wasDerivedFrom | wikipedia-en:XSB?oldid=1094015610&ns=0 |
| foaf:homepage | http://xsb.sourceforge.net/ |
| foaf:isPrimaryTopicOf | wikipedia-en:XSB |
| foaf:name | XSB (en) |
| foaf:page | http://xsb.sourceforge.net/ |
| is dbo:influenced of | dbr:Prolog |
| is dbo:wikiPageWikiLink of | dbr:Prolog dbr:Incremental_compiler dbr:List_of_programming_languages dbr:Logtalk dbr:Comparison_of_Prolog_implementations dbr:Occurs_check dbr:Logic_programming dbr:Datalog dbr:Flora-2 dbr:HiLog dbr:Rulelog |
| is dbp:influenced of | dbr:Prolog |
| is foaf:primaryTopic of | wikipedia-en:XSB |