Search Results for "xsb"
Sort By:
Showing 7 open source projects for "xsb"
View related business solutions-
Build AI Apps with Gemini 3 on Vertex AIVertex AI gives developers access to Gemini 3—Google’s most advanced reasoning and coding model—plus 200+ foundation models including Claude, Llama, and Gemma. Build generative AI apps with Vertex AI Studio, customize with fine-tuning, and deploy to production with enterprise-grade MLOps. New customers get $300 in free credits.
-
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
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. -
$300 in Free Credit for Your Google Cloud ProjectsLaunch your next project with $300 in free Google Cloud credit—no hidden charges. Test, build, and deploy without risk. Use your credit across the Google Cloud platform to find what works best for your needs. After your credits are used, continue building with free monthly usage products. Only pay when you're ready to scale. Sign up in minutes and start exploring.
-
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
