SSP Group Meeting
Wednesday, July 31st, 11am-12pm
Division of Informatics, 80 South Bridge, Room F13


Implementing property verification and maintenance of Web sites in Prolog

Joćo Cavalcanti

Following my previous presentation where I described our method for Web site synthesis, in this talk I will present some implementation details of our approach. I'll describe how we implement property verification and constraint checking using Prolog. Then I'll discuss an implementation for automating some Web site maintenance tasks using a multi-agent architecture.