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.
Attributes | Values |
---|
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
| |
foaf:homepage
| |
name
| |
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
| |
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
| |
gold:hypernym
| |
prov:wasDerivedFrom
| |
page length (characters) of wiki page
| |
latest release date
| |
latest release version
| |
designer
| |
influenced by
| |
foaf:isPrimaryTopicOf
| |
is Link from a Wikipage to another Wikipage
of | |