SSP Group Meeting
January 8th, Wednesday, 11am-12pm
Department of Artificial Intelligence, 80 South Bridge, Room E13


Issues About Computational Logic Systems

Dave Robertson, Edjard Mota

We shall centre the discussion on the following:
- Local interfaces (making it easy to use TCL-Tk from Prolog).
- Server-based WWW systems (giving SICStus programs an interface to Web pages)
- Client-based WWW systems (implementing temporal logic in Java)