Qu-Prolog: An implementation language for agents with advanced reasoning capabilities

Peter J. Robinson, Mike Hinchey, Keith Clark

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

Qu-Prolog is an extension of Prolog that was initially designed as an implementation language for interactive theorem provers. It provides built-in support for quantifiers, substitutions and object variables. Recently, Qu-Prolog has been further extended to support multiple threads and high-level communication. The combination of these features makes it ideal as an implementation language for intelligent agents with advanced reasoning capabilities.

Original languageEnglish
Title of host publicationFormal Approaches to Agent-Based Systems
EditorsMichael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher Rouff, Diana Gordon-Spears
PublisherSpringer Verlag
Pages162-172
Number of pages11
ISBN (Electronic)3540406654, 9783540406655
DOIs
Publication statusPublished - 2003
Externally publishedYes
Event2nd International Workshop on Formal Approaches to Agent-Based Systems, FAABS 2002 - Greenbelt, United States
Duration: 29 Oct 200231 Oct 2002

Publication series

NameLecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)
Volume2699
ISSN (Print)0302-9743

Conference

Conference2nd International Workshop on Formal Approaches to Agent-Based Systems, FAABS 2002
Country/TerritoryUnited States
CityGreenbelt
Period29/10/0231/10/02

Fingerprint

Dive into the research topics of 'Qu-Prolog: An implementation language for agents with advanced reasoning capabilities'. Together they form a unique fingerprint.

Cite this