Research interests

Logic programming; theorem proving; intelligent agents.

Contributors:

Peter Robinson, Keith Clark (Imperial College) and Silvanna Zappacosta (Imperial College).

Description:

Qu-Prolog is an extended Prolog with built-in support for terms typically encountered in theorem proving such as quantifiers and substitutions. It is the implementation language of Ergo. Qu-Prolog is also multi-threaded and has support for high-level communication. This makes Qu-Prolog an idea language for implementing agents with advanced reasoning capabilities. The aim of this project is to maintain and further extend Qu-Prolog's capabilities in these areas. More information about Qu-Prolog can be found at the Qu-Prolog home page.

Project Outputs:

• K. Clark, P.J. Robinson and R. Hagen, Multi-threading and message communication in Qu-Prolog, Theory and Practice of Logic Programming, 1(3), pp 283-301 (2001).
• K. Clark and P.J. Robinson, Agents as Multi-threaded Logical Objects, in Computational Logic: Logic Programming and Beyond, eds. Antonis C. Kakas and Fariba Sadri, LNAI 2407, pp 33-65, Springer-Verlag, 2002.
• A full release of Qu-Prolog - see Qu-Prolog home page.

Contributors:

Peter Robinson

Description:

Ergo is a generic Sequent Calculus interactive theorem prover. It is capable of supporting both classical and modal logics. It is intented that Ergo be used by other research projects requiring formal reasoning. The aim of this project is to maintain and develop Ergo and to further extend the current theories and tactics. More information about Ergo can be found at the Ergo home page.

Project Outputs:

• M. Utting, P.J. Robinson and R. Nickson, A Generic Proof Engine that uses Prolog Proof Technology, London Maths. Soc., JCM (5), pp 194-219.
• A full release of Ergo - see Ergo home page.

Contributors:

Peter Robinson

Description:

Pedro is a subscription/notification system that also supports peer-to-peer communication. The high-level communication used in Qu-Prolog is now based on Pedro. More information about Pedro can be found at the Pedro home page.

Project Outputs:

• Peter J. Robinson, and Keith L. Clark, Pedro: a publish/subscribe server using Prolog technology, Softw. Pract. Exper. 2010:40, pages 313-329
• A full release of Pedro - see Pedro home page.

Contributors:

Peter Robinson, Keith Clark

Description:

QuLog is a higher-order logic/functional/string processing language with an imperative rule language sitting on top, defining actions. QuLog's action rules are used to program multi-threaded communicating agent behaviour. Its declarative subset is used for the agent's belief store. The language is flexibly typed and allows a combination of compile time and run-time type checking.

The TeleoR extension allows program files to be consulted containing TeleoR (Teleo-Reactive) procedures as well as QuLog rules.

More information about Qulog can be found at the Qulog/TeleoR home page.

Project Outputs:

• A full release of Qulog - see Qulog/TeleoR home page.

Here are some thoughts on using the Kivy library on Android phones.