logic programming free download

Showing 5 open source projects for "logic programming"

View related business solutions

Compilers Windows Clear Filters & Widen Search

Keep company data safe with Chrome Enterprise
Protect your business with AI policies and data loss prevention in the browser

Make AI work your way with Chrome Enterprise. Block unapproved sites and set custom data controls that align with your company's policies.

Download Chrome
Gen AI apps are built with MongoDB Atlas
Build gen AI apps with an all-in-one modern database: MongoDB Atlas

MongoDB Atlas provides built-in vector search and a flexible document model so developers can build, scale, and run gen AI apps without stitching together multiple databases. From LLM integration to semantic search, Atlas simplifies your AI architecture—and it’s free to get started.

Start Free
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.

1 Review

Downloads: 12 This Week

Last Update: 4 hours ago
See Project
2

GNU Prolog

The GNU Prolog native compiler

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.

Downloads: 169 This Week

Last Update: 1 day ago
See Project
3

Logic Scheme Compiler

This is an aplication to learn programming. Logic schemes are used in the first year of programming in schools, but are done just on paper. Now you can verify them for errors, and also can execute the code so you see exactly what you do.

Downloads: 0 This Week

Last Update: 2013-04-08
See Project
4

Mercury

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.

Downloads: 0 This Week

Last Update: 2013-03-13
See Project
Cloud-based help desk software with ServoDesk
Full access to Enterprise features. No credit card required.

What if You Could Automate 90% of Your Repetitive Tasks in Under 30 Days? At ServoDesk, we help businesses like yours automate operations with AI, allowing you to cut service times in half and increase productivity by 25% - without hiring more staff.

Try ServoDesk for free
5

State Machine Compiler

Our goal was to develop a very simple programming language for expressing state machines. You can express the logic of a fairly complex, real life state machine in a single page of text that is easy to understand. Creates Java (C++ may be next).

Downloads: 0 This Week

Last Update: 2016-07-23
See Project