Secure Prolog-Based Mobile Code

Seng Wai Loke, Andrew Davison

LogicWeb mobile code consists of Prolog-like rules embedded in Web pages, thereby adding logic programming behaviour to those pages. Since LogicWeb programs are downloaded from for…