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.
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.
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
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.
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.