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

You Might Also Like
Top-Rated Free CRM Software Icon
Top-Rated Free CRM Software

216,000+ customers in over 135 countries grow their businesses with HubSpot

HubSpot is an AI-powered customer platform with all the software, integrations, and resources you need to connect your marketing, sales, and customer service. HubSpot's connected platform enables you to grow your business faster by focusing on what matters most: your customers.
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of GLORIA!

Additional Project Details

Operating Systems

Linux, BSD

Languages

Spanish

Intended Audience

Developers

User Interface

Console/Terminal

Programming Language

Prolog

Related Categories

Prolog Intelligent Agents

Registered

2005-06-28