XSB XSB - Logic programmering en deductief database-systeem voor Unix-achtige en Windows-platforms
Download nu

XSB Rangschikking & Samenvatting

XSB Tags

database Deductieve database predikaatverklaring vuilnisman aftrek predicaat

XSB Beschrijving

XSB - Logic programmering en deductief databasesysteem voor Unix-achtige en Windows-platforms XSB is een logisch programmering en deductief databasesysteem voor Unix-achtige en Windows-platforms. Het is ontwikkeld op een aantal instellingen, waaronder de afdeling Computerwetenschappen van Stony Brook University, XSB, INC, Katholieke Universiteit Leuven, Universidade Nova de Lisboa, en Uppsala Universitet.Here zijn enkele belangrijke kenmerken van "XSB": · Evalueert op de programma's van de motorenniveau met gestratificeerde en niet-gestratificeerde ontkenning en programma's met gestratificeerde aggregatie. · Maakt de volledige prolog-functionaliteit in de ingediende code, inclusief snijwonden mogelijk, Semantische beperkingen), in meta-logische predikaten, in de voorspellingen van de tweede orde, enz. Dynamische code kan ook worden ingediend. · Met de ingediende verklaring van ingediende verklaring automatisch door het systeem of handmatig door de gebruiker. Bovendien kunnen de tabling automatisch worden uitgevoerd voor beëindiging, voor efficiëntie, of voor beide. · Biedt standaardafbeeldingen die kunnen worden gebruikt om een aantal toepassingen in niet-monotone redenering en kennisrepresentatie te programmeren. · Incrementele tabling kan worden gebruikt voor programma's Gebruik in de indeling met gespreksvariantie op programmafragmenten die geen ingediende negatie vereisen. Als een tabel afhangt van dynamische code (misschien indirect) beweert of ingrijpt naar de code, propageren automatisch incrementele wijzigingen in de verschillende afhankelijke tafels. · Dynamisch compileert tabellen in TRIE-gebaseerde SLG-WAM-code. die dynamisch wordt geïndexeerd en waarvoor volledig geheugenbeheer wordt verstrekt. · Heeft een standaardinstelling een tablingsstrategie die lokale evaluatie wordt genoemd, die efficiënt is voor het retourneren van alle antwoorden op een query en is handig voor toepassingen zoals programma-analyse en niet-monotone redenering. Als een configuratie-alternatieve, batched-evaluatie is een prologesachtige tablingsstrategie die efficiënt het eerste antwoord op een query retourneert. · Heeft een hoop garbage-verzamelaar die werkt voor ingediende (en prolog) evaluatie. Nadat een tabel is afgeschaft, zorgt een tabelafvalcollector ervoor dat de ruimte goed is teruggewonnen.

XSB Gerelateerde software