- Grouping and Descriptive Categories (7)
- Linux (7)
- Windows (7)
- BSD (5)
- Mac (5)
- Modern (5)
- Emulation and API Compatibility (2)
- Solaris (2)
- Audio & Video
- Business & Enterprise
- Home & Education
- Science & Engineering
- Security & Utilities
- System Administration
Flora-2 is a powerful knowledge representation and reasoning system designed for building knowledge-intensive applications. It is based on F-logic, HiLog, Transaction Logic, and also supports defeasible reasoning. Applications include intelligent agents, Semantic Web, ontology management, and more.11 weekly downloads
Logic Programming and Deductive Database system (Tabled Prolog) for Unix and Windows.7 weekly downloads
Mercury is a modern logic/functional programming language. The Mercury system includes a compiler, debugger, libraries, sample code, profilers, etc. Mercury is designed to be the successor of logic programming languages such as Prolog.1 weekly downloads
Design and deploy end-to-end data pipelines easily with pre-packaged use cases, including: Real-time IoT analytics, real-time offer recommendations, clickstream analysis, weblog analysis, and ETL offload.Advertisement
Ciao Prolog is a GPL licensed, extensible, nex generation Prolog system, offering a programming environment with plenty of capabilities and libraries. Too many to be listed here.
Multiplatform (MUltiple Language / Target Integration PLATform FOR Modules) implements a unified integration platform for multiple modules written in multiple languages (C, C++, Prolog, Java) and multiple target platforms (GNU/Linux, Solaris, Windows).
A language named after Sven (The AI in the book \'The Turing Option\'), intended to simplify work on AI. Will (eventually) include librarys for Neural Networks, expert systems, symbolic logic, and more.