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
AlertBot: Website Monitoring of Uptime, Performance, and Errors Icon
AlertBot: Website Monitoring of Uptime, Performance, and Errors

For IT Professionals and network adminstrators looking for a web application monitoring solution

AlertBot monitors your website's full functionality around the clock so you can focus your time on more important things.
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