Accessible, powerful and user-friendly programming and deductive database system that can be used to improve your development process. #Programming system #Database system #Development environment #Developer #Programming #LP
XSB was created as an easy-to-use, handy logic programming and deductive database system.
Tabled resolution is useful for recursive query computation, allowing programs to terminate correctly in many cases where Prolog does not. Users interested in Parsing, Program Analysis, Model-checking, Data Mining, Diagnosis and Temporal Reasoning may benefit from XSB.
XSB supports a configuration that allows multiple threads of computation within a single process under the Posix model.
XSB contains a variety of features to support in-memory data-oriented applications. Using these features, knowledge bases with millions of clauses can be quickly loaded and efficiently indexed.
What's new in XSB 3.5.0:
- Enhancements:
- XSB's character-level I/O has been significantly rewritten and expanded. It now supports as encodings UTF-8, CP-1252, and LATIN-1; with UTF-8 as the default encoding on UNIX-style systems, and CP-1252 as the default encoding on Windows sytems. Various ISO predicates regarding encodings are also supported such as character_set/1. Finally, other character-based I/O predicates such as get_XXX, peek_XXX, and put_XXX have been thoroughly rewritten and should be both ISO-compliant and more efficient.
- XSB now has an alternative means of tabling ground structures called "hash-consing" or "interning". This feature can greatly improve performance when tabling is used for structural recursion.
- XSB now cleanly compiles under the latest version of Mac OSX which uses LLVM's clang compiler.
XSB 3.5.0
add to watchlist add to download basket send us an update REPORT- runs on:
-
Windows 8 32/64 bit
Windows 7 32/64 bit
Windows Vista 32/64 bit
Windows XP - file size:
- 12.1 MB
1 screenshot:
- main category:
- Programming
- developer:
- visit homepage
Bitdefender Antivirus Free
Feather-light and free antivirus solution from renowned developer that keeps the PC protected at all times from malware without requiring user configuration
Context Menu Manager
Customize Windows’ original right-click context menu using this free, portable and open-source utility meant to enhance your workflow
7-Zip
An intuitive application with a very good compression ratio that can help you not only create and extract archives, but also test them for errors
Microsoft Teams
Effortlessly chat, collaborate on projects, and transfer files within a business-like environment by employing this Microsoft-vetted application
Windows Sandbox Launcher
Set up the Windows Sandbox parameters to your specific requirements, with this dedicated launcher that features advanced parametrization
IrfanView
With support for a long list of plugins, this minimalistic utility helps you view images, as well as edit and convert them using a built-in batch mode
4k Video Downloader
Export your favorite YouTube videos and playlists with this intuitive, lightweight program, built to facilitate downloading clips from the popular website
calibre
Effortlessly keep your e-book library thoroughly organized with the help of the numerous features offered by this efficient and capable manager
Zoom Client
The official desktop client for Zoom, the popular video conferencing and collaboration tool used by millions of people worldwide
ShareX
Capture your screen, create GIFs, and record videos through this versatile solution that includes various other amenities: an OCR scanner, image uploader, URL shortener, and much more
% discount
calibre
- calibre
- Zoom Client
- ShareX
- Bitdefender Antivirus Free
- Context Menu Manager
- 7-Zip
- Microsoft Teams
- Windows Sandbox Launcher
- IrfanView
- 4k Video Downloader
essentials
Load comments
This enables Disqus, Inc. to process some of your data. Disqus privacy policy