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
The Voice API that just works | Twilio Icon
The Voice API that just works | Twilio

Build a scalable voice experience with the API that's connecting millions around the world.

With Twilio Voice, you can build unique phone call experiences with one API, to create, receive, control and monitor calls with just a few lines of code. Create an engaging voice experience that you can quickly scale and modify with a wide array of customization options and resources.
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