logic programming free download

Showing 5 open source projects for "logic programming"

View related business solutions

Interpreters C Clear Filters & Widen Search

AestheticsPro Medical Spa Software
Our new software release will dramatically improve your medspa business performance while enhancing the customer experience

AestheticsPro is the most complete Aesthetics Software on the market today. HIPAA Cloud Compliant with electronic charting, integrated POS, targeted marketing and results driven reporting; AestheticsPro delivers the tools you need to manage your medical spa business. It is our mission To Provide an All-in-One Cutting Edge Software to the Aesthetics Industry.

Learn More
The Most Powerful Software Platform for EHSQ and ESG Management
Addresses the needs of small businesses and large global organizations with thousands of users in multiple locations.

Choose from a complete set of software solutions across EHSQ that address all aspects of top performing Environmental, Health and Safety, and Quality management programs.

Learn More
1

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: 246 This Week

Last Update: 2026-03-31
See Project
2

XSB

Logic Programming and Deductive Database system (Tabled Prolog) for Unix, Mac, and Windows.

1 Review

Downloads: 14 This Week

Last Update: 2026-04-10
See Project
3

Mouse-83 language interpreter

An interpreter for Peter Grogono's Mouse programming language.

Mouse83 stack-based programming language interpreter, written by Jan Mleczko in the C programming language. See the "read me" file for more information.

Downloads: 0 This Week

Last Update: 2023-02-12
See Project
4

LPIA

Programming language for artificial intelligence

LPIA is an interpreted symbolic functional language with multi-process capabilities and predefined pattern matching. It is inspired by combinatory logic, lambda calculus, Scheme and Forth. LPIA est un langage symbolique fonctionnel interprété avec des possibilités multi-processus et un filtrage prédéfini. Il est inspiré par la logique combinatoire, le lambda calcul, Scheme et Forth.

Downloads: 0 This Week

Last Update: 2012-12-10
See Project
Rezku Point of Sale
Designed for Real-World Restaurant Operations

Rezku 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.

Learn More
5

Fishell - a front end to your system she

Fi-shell is a front-end to your system shell. It provides nonblocking i/o (concurrency) and pattern maching that is both easy to remember and readable (logic programming)

Downloads: 0 This Week

Last Update: 2013-03-22
See Project