Dr Peter Robinson School of Information
Technology and Electrical Engineering |
 |
Research interests
| Current Projects |
The Qu-Prolog Logic Programming Language
- 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.
The Ergo Interactive Theorem Prover
- 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.
The Pedro Subscription/Notification Communications System
- 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:
-
- A full release of Pedro - see Pedro home page.