Search Results for "logic programming"
Sort By:
Showing 2 open source projects for "logic programming"
View related business solutions-
MicroStation by Bentley Systems is the trusted computer-aided design (CAD) software built specifically for infrastructure design.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.
-
Rezku Point of SaleRezku is an all-inclusive ordering platform and management solution for all types of restaurant and bar concepts. You can now get a fully custom branded downloadable smartphone ordering app for your restaurant exclusively from Rezku.
-
1
ECLiPSe CLP
ECLiPSe Constraint Logic Programming System
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. -
2
Spock is a prototype tool for debugging logic programs under the answer-set semantics. It provides debugging methods for propositional programs in DLV or Smodels syntax. The implemented techniques rely on ASP-meta-programming.
- Previous
- You're on page 1
- Next
