Search Results for "gnu prolog"
Sort By:
Showing 4 open source projects for "gnu prolog"
View related business solutions-
Earn up to 16% annual interest with Nexo.Generate interest, borrow against your crypto, and trade a range of cryptocurrencies — all in one platform. Geographic restrictions, eligibility, and terms apply.
-
$300 in Free Credit Towards Top Cloud ServicesStart your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
-
1
The fast2armc program translates source code of a counter automata model for FAST(er) tool to the ARMC prolog syntax.
-
2
PrechacThis is a web-based siteswap generator for jugglers. It finds all symmetric passing patterns fulfilling given constraints like period-length and maximum height of throws.
-
3
This is a prolog-like programming language based on the fuzzy logic. It includes the class-libraries for fuzzy logic, probability theory and method of resolution, all made in C++. Java releases possible in the future.
-
4
Hosting home-made software which is mathematically proven to be correct. We make use of tools like HOL, PVS, ...
-
Forever Free Full-Stack Observability | Grafana CloudBuilt on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
- Previous
- You're on page 1
- Next
