Search Results for "gnu prolog"
Sort By:
Showing 5 open source projects for "gnu prolog"
View related business solutions-
Melis Platform is an enterprise-grade Low Code Platform simplifying app creation, management, and delivery.Melis is a new generation of Content Management System and eCommerce platform to achieve and manage websites from a single web interface easy to use while offering the best of open source technology.
-
Find out just how much your login box can do for your customer | Auth0From improving customer experience through seamless sign-on to making MFA as easy as a click of a button – your login box must find the right balance between user convenience, privacy and security.
-
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. -
2
pltc
Prolog to C compiler with runtime for DOS, Windows and Raspbian
Prolog to C compiler with runtime for DOS (with Turbo C), Windows 10 64 bits and Raspbian (Raspberry Pi) -
3
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#...
-
4
This project collects the classical "Towers of Hanoi" problem in many programming languages, including lesser known and/or esoteric ones.
-
Pylon is an All-in-one B2B Support Platform for modern B2B businesses.We bring together everything a post-sales teams team needs including a ticketing system, B2B omnichannel integrations (Slack Connect, Microsoft Teams), modern chat widget, knowledge base, AI support bot, account management, customer marketing, and more.
-
5
Hosting home-made software which is mathematically proven to be correct. We make use of tools like HOL, PVS, ...
- Previous
- You're on page 1
- Next
