Search Results for "xsb"
Sort By:
Showing 7 open source projects for "xsb"
View related business solutions-
Go From AI Idea to AI App FastAccess Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
-
$300 in Free Credit Towards Top Cloud ServicesStart your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
-
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. -
Enterprise-grade ITSM, for every businessFreshservice is an intuitive, AI-powered platform that helps IT, operations, and business teams deliver exceptional service without the usual complexity. Automate repetitive tasks, resolve issues faster, and provide seamless support across the organization. From managing incidents and assets to driving smarter decisions, Freshservice makes it easy to stay efficient and scale with confidence.
-
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
