New customers can spin up VMs, build with AI, and query data at no cost.
Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
Start Free
Demo Series - Small Business Backup By Veeam
Learn how to protect your Microsoft 365 data, with simple, actionable tips today.
Watch this on-demand demo series and learn how to protect your Microsoft 365 data with clear, simple, actionable steps that are easy to implement for businesses of all sizes.
Artificial Intelligence techniques applied to common software tasks, using First Order Logic; N3, OWL ontologies and rules. Enables component-based application building, platform independence, user-friendliness. Leverage on Euler inference engine + GUI.
N.B. THE PROJECT HAS BEEN MOVED TO GITHUB
https://github.com/jiprolog/
JIProlog is a cross-platform pure Java 100% Prolog interpreter that integrates Prolog and Java languages in a very fashinating way.
JIProlog is compliant with the major Prolog interpreters. It supports most of ISO Prolog specifications and the most common and used built-in predicates,
JIProlog allows to call Prolog predicates from Java without dealing with native code (JNI or JNA) and allows to invoke Java...
A 100% Java Warren Abstract Machine implementation.
...However, if you need a Java based Prolog engine for your project I recommend tuProlog and jTrolog as they are at the moment way more mature than jWAM.
Most notable to-do's:
- Built-in predicates.
- Debugging tools.
- Testing.
- Documentation and commenting.
- Android port. (I have the engine working with a test app but I still need to build a proper app).
- Alpha release
Prosper is a web applicationdevelopment framework to augment Prolog applications with a web interface. It supports control flow in visual logic and promotes a clear separation of model from view.
The CommGen platform is intended to be a simple, scalable integration platform
for small to medium problem sets. The architecture is simple, consisting of a
distributed kernel, distributed O/S, agent and application layer.
MatForce is a compiler that translates MatLab scripts into self-contained C++ code, producing human-readable, extensible C++ sources that can be fitted to the needs of the encapsulating application.