XSB Een programmeersysteem om u te helpen met uw werk.
Download nu

XSB Rangschikking & Samenvatting

XSB Tags

ontwikkeling ontwikkelen database-systeem programmeersysteem deductief systeem deductief

XSB Beschrijving

XSB is gemaakt als een eenvoudig te gebruiken, handig logisch programmering en deductief databasesysteem. Ingediende resolutie is handig voor recursieve query-berekening, waardoor programma's in vele gevallen correct kunnen worden beëindigd waar PROLGOG niet. Gebruikers die geïnteresseerd zijn in het parseren, programma-analyse, modelcontrole, datamining, diagnose en tijdelijke redenering kunnen profiteren van XSB. XSB ondersteunt een configuratie die meerdere discussies van berekening binnen één proces onder het POSIX-model mogelijk maakt. XSB bevat een verscheidenheid aan functies om in-geheugengegevens-georiënteerde toepassingen te ondersteunen. Met behulp van deze functies kunnen kennisbases met miljoenen clausules snel worden geladen en efficiënt worden geïndexeerd.

XSB Gerelateerde software