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
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.
School of Computer Science & Engineering, UNSW.