GNU Prolog-PHP multi-tier integration | IEEE Conference Publication | IEEE Xplore