Prolog for industry : proceedings of the LPA Prolog Day at the RSA /