Seng Wai Loke Andrew Davison Secure Prolog Based Mobile Code. 321-357 2001 1 TPLP 3 db/journals/tplp/tplp1.html#LokeD01