For engineering teams in search of a solution to design, manage and maintain E2E tests for their apps
MuukTest is a test automation service that combines our own proprietary, AI-powered software with expert QA services to help you achieve world class test automation at a fraction of the in-house costs.
Learn More
MicroStation by Bentley Systems is the trusted computer-aided design (CAD) software built specifically for infrastructure design.
Microstation enables architects, engineers, and designers to create precise 2D and 3D drawings that bring complex projects to life.
MicroStation is the only computer-aided design software for infrastructure design, helping architects and engineers like you bring their vision to life, present their designs to their clients, and deliver their projects to the community.
A group of systems for building network-oriented intelligent agents, consisting an agent communications infrastructure, April - an agent construction programming language, Go! - a logic programming language and DialoX - an XML-based user interface engine
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.
The Prolog Expert System Shell (PESS) is a software that generates ES using basically two components: Knowledge Base, used by the ES to guide its decisions making, and Inference Machine, cable of collection the rules and generating new facts.
SLPG (Semiautomatic Logic Program generator) is an academic tool whose goal is to help unexperienced logic programmers to develop Prolog programs using a systematic methodology.
A pure java based prolog engine. This is a fork of the OpenSource Kernel Prolog from Paul Tarau (BinNet Corp.).
This project was abandoned in favor of GNU Prolog for Java: http://www.gnu.org/software/gnuprologjava/
For organizations that need powerful ECM and document automation software
The Square 9 AI-powered intelligent document processing platform takes the paper out of work and makes it easier to get things done with digital workflows.
EPromote is an Eclipse plugin that allows to define model transformations of EMF-based models with Prolog. EPromote stands for "Eclipse Prolog MOdel Transformation Engine".
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.
reputron is a knowledge extraction engine platform that covers all aspect of text mining, relevance, indexing and querying on a corpus of text documents.
Learn basic constraint logic programming by solving logic word puzzles. Go to http://eclipse.dougedmunds.com . This tutorial will show you how to solve easy 1 star to hard 5 star puzzles, using the eCLiPSe-CLP language (available at http://eclipseclp.org/).
Don't confuse this programming language (a prolog language) with the IDE for Java.
GASPAR implements an dialectical argumentation framework for instantiating the artificial intellect of a software agent. In this artilect, motivations are represented in mental faculties which argue why and how these motivations can be adopted.
The project will integrate viable aspects of the semantic web technologies
for use with advanced Semantic SQLCLI based XML DBMS. The purpose of this
project is develop a GUI Application for a Suite of ECM Services.