prolog software free download

Showing 7 open source projects for "prolog software"

View related business solutions

Frameworks Linux Clear Filters & Widen Search

Enterprise-grade ITSM, for every business
Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity.

Freshservice is an intuitive, AI-powered platform that helps IT, operations, and business teams deliver exceptional service without the usual complexity. Automate repetitive tasks, resolve issues faster, and provide seamless support across the organization. From managing incidents and assets to driving smarter decisions, Freshservice makes it easy to stay efficient and scale with confidence.

Try it Free
Gemini 3 and 200+ AI Models on One Platform
Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

Build generative AI apps with Vertex AI. Switch between models without switching platforms.

Start Free
1

pyclp Interface to ECLiPSe

Python interface to ECLiPSe Constraint Logic Programming.

Downloads: 0 This Week

Last Update: 2014-02-21
See Project
2

ReSpecT

ReSpecT (Reaction Specification Tuples) is a logic-based language for distributed system coordination. ReSpecT is based on a coordination model exploiting tuple centres as first-class, general-purpose coordination media.

Downloads: 0 This Week

Last Update: 2013-05-02
See Project
3

Prosper

Prosper is a web application development framework to augment Prolog applications with a web interface. It supports control flow in visual logic and promotes a clear separation of model from view.

Downloads: 22 This Week

Last Update: 2013-04-09
See Project
4

PLUNITTEST

PLUNITTEST is a unit test framework for Prolog. It has been tested with Sicstus prolog. It gives a framework for automated unit testing of prolog programs via continuous integration tools. It outputs an XML file like Junit XML.

Downloads: 0 This Week

Last Update: 2014-07-01
See Project
Forever Free Full-Stack Observability | Grafana Cloud
Our generous forever free tier includes the full platform, including the AI Assistant, for 3 users with 10k metrics, 50GB logs, and 50GB traces.

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

Create free account
5

SecFlow

SecFlow - Secure Flow Analyzation for Java and .NET

Downloads: 1 This Week

Last Update: 2013-04-23
See Project
6

CHORD

This project assembles the implementations of inference engines for CHORD, an object-oriented extension of CHRD.

Downloads: 0 This Week

Last Update: 2013-04-25
See Project
7

ComeBack!

Component (library, framework) refactoring may affect existing applications, where the client code used previous component versions. Our tool preserves applications binary-compatible by generating an adaptation layer out of change history.

Downloads: 3 This Week

Last Update: 2013-04-18
See Project