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

$300 Free Credits to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.

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, including Gemini 3.5. It brings text, image, audio, and video models together in one interactive playground. With vibe coding, developers can use...

See Software
Hostinger

Start your online journey with fast and secure web hosting that enables you to take the Internet by storm. At Hostinger, you can choose from various web hosting-related services that include Domain Registration, Cloud Hosting, Email Hosting, SSL Certificate, and LiteSpeed Servers. Choose...

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