TITLE: Extended Declarative Programming in Rich Prolog

PRESENTER: Patrick Caldon

AFFILIATION: Computer Science and Engineering, University of New South Wales

DATE: Friday 19th September 2003

TIME: 12:00pm - 1.00pm

PLACE: CSE K17 1st Floor Seminar Room

ABSTRACT:

RichProlog is a programming system which expands logic programming to encompass a notion of generalized logical consequence. The system has the ability to represent and solve a broader range of problems in declarative style than current logic programming systems such as Prolog. RichProlog semantics are based on generalized logical consequence, a notion derived from learning in the limit, and RichProlog is complete with respect to these semantics. It uses a different and more effective algorithm than the one present in a preliminary implementation, and is based on a well defined class of programs and queries. This algorithm also has several optimizations available to it, and depends on a type system which we describe. We provide an extended example of RichProlog's execution.

BIOGRAPHY OF SPEAKER:

Patrick Caldon is a research student in Computer Science and Engineering at the University of New South Wales.

http://www.cse.unsw.edu.au/~patc/

Seminar Convenor:

Bernhard Hengst
Tel: +61-2-9385-3988,
E-mail: bernhardh@cse.unsw.edu.au
School of Computer Science & Engineering, UNSW.