Search Results for "gnu prolog"
Sort By:
Showing 3 open source projects for "gnu prolog"
View related business solutions-
Loan management software that makes it easy.Bryt Software is ideal for lending professionals who are looking for a feature rich loan management system that is intuitive and easy to use. We are 100% cloud-based, software as a service. We believe in providing our customers with fair and honest pricing. Our monthly fees are based on your number of users and we have a minimal implementation charge.
-
Data management solutions for confident marketingVerify, deduplicate, manipulate, and assign records automatically to keep your CRM data accurate, complete, and ready for business.
-
1
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#...
-
2
Hosting home-made software which is mathematically proven to be correct. We make use of tools like HOL, PVS, ...
-
3
AI Now is an open source endeavour to create a general purpose Artificial Intelligence. The plan is to implement a modular architecture to incorporate AI theories as they are developed. This will provide a growing platform to test new AI theories.
- Previous
- You're on page 1
- Next
