Search Results for "xsb"
Sort By:
Showing 7 open source projects for "xsb"
View related business solutions-
Workload Automation for Global EnterprisesRedwood lets you orchestrate securely and reliably across any application, service or server, in the cloud or on-premise, all inside a single platform.
-
Workspace management made easy, fast and affordable.The way we work has changed and Clearooms puts you in complete control of your hybrid workspace. Both meeting rooms and hot desk booking can be easily managed to ensure flexible and safe working, however big or small your organisation.
-
1
Logic Programming and Deductive Database system (Tabled Prolog) for Unix, Mac, and Windows.
-
2
Simple Sokoban
a (simple) Sokoban game
Simple Sokoban is a (simple) Sokoban game aimed at playability and portability across systems. It is written in ANSI C89, using SDL for user interactions. I developed it natively under x86_64 Linux, but it should compile just fine on virtually anything that has a C compiler and the SDL library. -
3
EntrepotPhage
Sokoban clone with 3d rendering
EntrepotPhage is a Sokoban like game with 3d rendering. It is provided with 30 levels distributed in 3 difficulty levels. It use the .XSB file format. So you can easily add your own levels or download some levels on the internet. -
4
evolp/r
Logic Program Updates System
EVOLP/R is a logic program updates system, implemented in XSB Prolog. Reference: A. Saptawijaya, L. M. Pereira, Incremental Tabling for Query-Driven Propagation of Logic Program Updates, in: K. McMillan, A. Middeldorp, A. Voronkov (eds.), Procs. Intl. Conf. on Logic for Programming Artificial Intelligence and Reasoning (LPAR-19), Springer LNCS ARCoSS series, December 15-19, Stellenbosch, South Africa, 2013. -
IT Asset Management (ITAM) SoftwareEZO AssetSonar is a comprehensive IT asset management platform that provides real-time visibility into your entire digital infrastructure. Track and optimize hardware, software, and license management to reduce risks, control IT spend, and improve compliance.
-
5
ProDT is a Prolog Integrated Development Environment (IDE) aiming to be as rich in functionality as the Eclipse's java IDE, and to support any standard Prolog implementation. Currently is being supported SWI Prolog, B-Prolog and XSB Prolog
-
6
XSBDotNet is a .NET wrapper for the XSB Prolog Engine. It supports both the single-threaded and multithreaded engines and provides object-oriented classes for a complete .NET experience.
-
7
Implemented in Flora-2/XSB, F-OWL is an inference engine for the standard Web Ontology Language OWL. A set of Java API is provided for applications to assert and query OWL ontology statements.
- Previous
- You're on page 1
- Next
