GLORIA

This project is about implementing a logic-programming based, reasoning engine for an agent. We started with an implementation of the iff-proof procedures, by Kowalski and Fung, as an any-time algorithm written in Prolog.

Project Activity

See All Activity >

License

Affero GNU Public License

Follow GLORIA

GLORIA Web Site

Other Useful Business Software

Save Up to 91% on Cloud Compute With Spot VMs

Automatic sustained-use discounts. One free VM per month. No negotiation needed.

Run batch jobs at 60-91% off with Spot VMs. Long-running workloads get automatic discounts with sustained use.

Start Free

Rate This Project

User Reviews

Be the first to post a review of GLORIA!

Additional Project Details

Operating Systems

BSD, Linux

Languages

Spanish

Intended Audience

Developers

User Interface

Console/Terminal

Programming Language

Prolog

Related Categories

Prolog Intelligent Agents

Registered

2005-06-28

Similar Business Software

StackAI

StackAI is an enterprise AI automation platform to build end-to-end internal tools and processes with AI agents in a fully compliant and secure way. Designed for large, regulated organizations, it enables teams to automate complex workflows across operations, compliance, finance, IT, and support...

See Software
Gemini Enterprise Agent Platform

Gemini Enterprise Agent Platform is a comprehensive solution from Google Cloud designed to help organizations build, scale, govern, and optimize AI agents. It represents the evolution of Vertex AI, combining advanced model development with new capabilities for agent orchestration and...

See Software
Google AI Studio

Google AI Studio is a unified development platform that helps teams explore, build, and deploy applications using Google’s most advanced AI models. It brings text, image, audio, and video models together in one interactive playground. With vibe coding, developers can use natural language to...

See Software
Automation Anywhere

Automation Anywhere is the leader in Agentic Process Automation (APA), putting AI to work across organizations. The company’s platform is powered with specialized AI agents, generative AI, and offers process discovery, RPA end-to-end process orchestration, document processing and analytics, with...

See Software
Zapier

Zapier is an AI-powered automation platform designed to help teams safely scale workflows, agents, and AI-driven processes. It connects over 8,000 apps into a single ecosystem, allowing businesses to automate work across tools without writing code. Zapier enables teams to build AI workflows,...

See Software
ClearWork

ClearWork is an AI-powered automated discovery platform for consulting firms and operational excellence teams. Instead of treating discovery as a one-time exercise, ClearWork creates a living knowledge base — a continuously updated, human-validated system of record from which any deliverable...

See Software