XSB - XSB
Paradigme | Logisk programmering |
---|---|
Designet av | David S. Warren, Terrance Swift, Kostis Sagonas |
Utvikler | XSB Research Group |
Stabil utgivelse | 4.0 / 1. april 2021
|
OS | Kryssplattform |
Filnavnutvidelser | .P |
Nettsted | http://xsb.sourceforge.net/ |
Påvirket av | |
Prolog , PSB-Prolog , SB-Prolog |
XSB er navnet på en dialekt av Prolog programmeringsspråk og gjennomføringen utviklet ved Stony Brook University i samarbeid med Katholieke Universiteit Leuven , det nye Universitetet i Lisboa , Uppsala Universitet og programvareleverandør XSB, Inc.
XSB strekker Prolog med fremmet oppløsning og HiLog (en standard forlengelse av Prolog tillater begrenset av høyere orden logikk programmering ).
Den open source XSB implementeringen omfatter et grensesnitt til Java programmeringsspråk .
Historie
XSB ble opprinnelig utviklet ved Stony Brook University av David S. Warren, Terrance Swift og Kostis Sagonas. Det var basert på SB-Prolog-språket som også ble utviklet ved Stony Brook University i 1986. Det er et logisk programmeringsspråk .
Syntaks
XSB støtter flere vanlige datatyper for programmeringsspråk, for eksempel Heltall , Floating Point -tall og Atomer .
Heltall i XSB kan tolkes i flere baser. Som standard tolkes heltall i basis 10, men kan tolkes i en rekke baser fra 2 til 36 .
Atomer ligner strenger . De er en sekvens av tegn.
Eksterne linker
- XSB
- XSB teknisk sammendrag
- Programming in Tabled Prolog : utkast til en bok om XSB -programmering av David S. Warren fra Stony Brook University
- XSB System Programmer's Manual av Terrance Swift , David S. Warren og andre
- Informasjon om Stony Brook Prolog
Referanser
- T. Swift og DS Warren (2011), XSB: Utvidelse av prologens kraft ved hjelp av Tabling . Teori og praksis for logisk programmering (TPLP), Cambridge University Press, 2011.
- K. Sagonas og T. Swift og DS Warren (1994), XSB som en effektiv deduktiv databasemotor . Prosedyrer fra ACM SIGMOD internasjonale konferanse om håndtering av data, 1994.
- T. Swift og DS Warren (1995), En abstrakt maskin for SLG -oppløsning: Definitive programs . Proceedings of the Symposium on Logic Programming, 1995.