Search Results for "expert system in prolog"

GNU Prolog is a free implementation (under GPL) of the logic programming language PROLOG. It can compile to native machine code which is extremely fast in execution. Another feature is the included constraint solver.

The ECLiPSe Constraint Logic Programming System is designed for solving combinatorial optimization problems, for the development of new constraint solver technology and their hybrids, and for the teaching of modelling, solving and search techniques.

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. If you use Flora-2 and like it, please acknowledge it in your project!

Prolog to C compiler with runtime for DOS (with Turbo C), Windows 10 64 bits and Raspbian (Raspberry Pi)

...This framework is based on the principles of Peter Dunne, which allows for the reuse of translated keywords and phrases via a centrally managed translation memory system. The project aims to modify the entire LCL at low level to include natural language support structures which are then inherited by all LCL components, thus realizing an IDE in which all forms are naturally multi-lingual. This of course will be further supported by string translation tools and central resource management. This strategy will reduce the time and cost of translation of projects while putting tools in the hands of end users which allow them to crowd source translations in a manner never before available In addition to the language support being developed, a new project expert is under development which will allow developers to rapidly create a full feature application

The Yap Prolog System is a ISO-compatible high-performance Prolog compiler. Yap is widely considered one of the fastest available Prolog systems. Yap supports coroutining, CLP(QR), CHR, and depth-bound search. Tabling and parallelism are in development.

Galliwasp is an answer set programming (ASP) system utilizing a unique top-down, goal-directed execution method.

JPIE is an implementation of an Open Source Java to Prolog/Prolog to Java interoperability mecanism based on the Java VM.

XGP is an integrated development environment that extends GNU Prolog to work with Cocoa under Macintosh OS X. It provides user interface and graphics facilities largely compatible with MacProlog32 by LPA. Requires Mac OS X version 10.2.1 or greater.

A Lisp multilanguage design implemented on Smalltalk. Featuring an OOP macro system that works across all the languages. Contains all other languages as Lisp dialects. Fully OOP. Fully documented guided tour. language specs too. assembler, prolog, C#...

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.

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.

XPL is the eXtensible Programming Language. XPL is an application of XML for interchange of computer programs.

A C++ port (a redesign implementation actually) of the CLIPS expert system . This will be done along the lines of the Java port Jess, but full CLIPS backwards compatability will be maintained (even to the API level where possible).