About: XSB     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : dbo:ProgrammingLanguage, within Data Space : dbpedia.demo.openlinksw.com associated with source document(s)
QRcode icon
http://dbpedia.demo.openlinksw.com/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FXSB&invfp=IFP_OFF&sas=SAME_AS_OFF

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.

AttributesValues
rdf:type
rdfs:label
  • XSB (it)
  • XSB (en)
  • XSB (uk)
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)
foaf:name
  • XSB (en)
foaf:homepage
name
  • XSB (en)
foaf:page
dcterms:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
Link from a Wikipage to an external page
sameAs
dbp:wikiPageUsesTemplate
designer
  • David S. Warren, Terrance Swift, Kostis Sagonas (en)
developer
  • XSB Research Group (en)
influenced by
latest release date
latest release version
operating system
paradigm
website
has 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)
file ext
  • .P (en)
gold:hypernym
prov:wasDerivedFrom
page length (characters) of wiki page
latest release date
latest release version
  • 4.0
designer
influenced by
foaf:isPrimaryTopicOf
is Link from a Wikipage to another Wikipage of
Faceted Search & Find service v1.17_git139 as of Feb 29 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (378 GB total memory, 53 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software