Seng Wai Loke Andrew Davison LogicWeb: Enhancing the Web with Logic Programming. 195-240 1998 36 J. Log. Program. 3 db/journals/jlp/jlp36.html#LokeD98 http://dx.doi.org/10.1016/S0743-1066(98)00002-8