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.
Our generous forever free tier includes the full platform, including the AI Assistant, for 3 users with 10k metrics, 50GB logs, and 50GB traces.
Built on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
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.