Web Prolog - a multi-paradigm language?