Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/XSB> ?p ?o }
Showing triples 1 to 79 of
79
with 100 triples per page.
- XSB abstract "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.".
- XSB designer David_S._Warren.
- XSB designer Terrance_Swift.
- XSB influencedBy PSB-Prolog.
- XSB influencedBy Prolog.
- XSB influencedBy SB-Prolog.
- XSB latestReleaseVersion "XSB Version 3.6 / April 22, 2015".
- XSB wikiPageExternalLink summary?doi=10.1.1.48.4048.
- XSB wikiPageExternalLink summary?doi=10.1.1.75.4862.
- XSB wikiPageExternalLink citation.cfm?id=2139880.
- XSB wikiPageExternalLink 0.html.
- XSB wikiPageExternalLink xsbbook.
- XSB wikiPageExternalLink xsb.sourceforge.net.
- XSB wikiPageExternalLink about.html.
- XSB wikiPageExternalLink manual1.pdf.
- XSB wikiPageID "4723102".
- XSB wikiPageLength "4026".
- XSB wikiPageOutDegree "30".
- XSB wikiPageRevisionID "663112878".
- XSB wikiPageWikiLink Category:Logic_programming_languages.
- XSB wikiPageWikiLink Cross-platform.
- XSB wikiPageWikiLink Data_type.
- XSB wikiPageWikiLink David_S._Warren.
- XSB wikiPageWikiLink Floating_Point.
- XSB wikiPageWikiLink Foreign_function_interface.
- XSB wikiPageWikiLink Integer.
- XSB wikiPageWikiLink Java_(programming_language).
- XSB wikiPageWikiLink Katholieke_Universiteit_Leuven.
- XSB wikiPageWikiLink Logic_programming.
- XSB wikiPageWikiLink Memoization.
- XSB wikiPageWikiLink Open_source.
- XSB wikiPageWikiLink PSB-Prolog.
- XSB wikiPageWikiLink Programming_language.
- XSB wikiPageWikiLink Prolog.
- XSB wikiPageWikiLink Resolution_(logic).
- XSB wikiPageWikiLink SB-Prolog.
- XSB wikiPageWikiLink Software_industry.
- XSB wikiPageWikiLink Stony_Brook_University.
- XSB wikiPageWikiLink String_(computer_science).
- XSB wikiPageWikiLink Terrance_Swift.
- XSB wikiPageWikiLink Universidade_Nova_de_Lisboa.
- XSB wikiPageWikiLink Uppsala_University.
- XSB wikiPageWikiLinkText "XSB Prolog".
- XSB wikiPageWikiLinkText "XSB System".
- XSB wikiPageWikiLinkText "XSB system".
- XSB wikiPageWikiLinkText "XSB".
- XSB designer "David S. Warren, Terrance Swift, Kostis Sagonas".
- XSB developer "XSB Research Group".
- XSB fileExt ".P".
- XSB influencedBy PSB-Prolog.
- XSB influencedBy Prolog.
- XSB influencedBy SB-Prolog.
- XSB latestReleaseVersion "--04-22".
- XSB name "XSB".
- XSB operatingSystem Cross-platform.
- XSB paradigm Logic_programming.
- XSB website xsb.sourceforge.net.
- XSB wikiPageUsesTemplate Template:Infobox_programming_language.
- XSB wikiPageUsesTemplate Template:Reflist.
- XSB subject Category:Logic_programming_languages.
- XSB hypernym Dialect.
- XSB type Language.
- XSB type ProgrammingLanguage.
- XSB type Software.
- XSB type Language.
- XSB type Thing.
- XSB type Q315.
- XSB type Q34770.
- XSB type Q9143.
- XSB comment "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.".
- XSB label "XSB".
- XSB sameAs Q8042469.
- XSB sameAs m.0ck33d.
- XSB sameAs Q8042469.
- XSB wasDerivedFrom XSB?oldid=663112878.
- XSB homepage xsb.sourceforge.net.
- XSB isPrimaryTopicOf XSB.
- XSB name "XSB".
- XSB page xsb.sourceforge.net.