Open Source Prolog Frameworks
Sort By:
Prolog Frameworks
View 165 business solutionsBrowse free open source Prolog Frameworks and projects below. Use the toggles on the left to filter open source Prolog Frameworks by OS, license, language, programming language, and project status.
-
Earn up to 15% annual interest with Nexo.Put idle assets to work with competitive interest rates, borrow without selling, and trade with precision. All in one platform. Geographic restrictions, eligibility, and terms apply.
-
Earn up to 15% annual interest with Nexo.Generate interest, borrow against your crypto, and trade a range of cryptocurrencies — all in one platform. Geographic restrictions, eligibility, and terms apply.
-
1
Prosper is a web application development 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.
-
2
Component (library, framework) refactoring may affect existing applications, where the client code used previous component versions. Our tool preserves applications binary-compatible by generating an adaptation layer out of change history.
-
3
-
4
This project assembles the implementations of inference engines for CHORD, an object-oriented extension of CHRD.
-
Safety Compliance Made EasyIdeally designed for business that deals with Construction, Oil & Gas, Mining, Manufacturing, Mechanical, Electrical, Plumbing, Heating, and Excavating, SiteDocs is a perfect solution for any size business looking to modernize the way Safety Compliance is organized.
-
5
PLUNITTEST is a unit test framework for Prolog. It has been tested with Sicstus prolog. It gives a framework for automated unit testing of prolog programs via continuous integration tools. It outputs an XML file like Junit XML.
-
6
ReSpecT (Reaction Specification Tuples) is a logic-based language for distributed system coordination. ReSpecT is based on a coordination model exploiting tuple centres as first-class, general-purpose coordination media.
-
7
- Previous
- You're on page 1
- Next
