Zaslat SMS: PROLOG and databases : implementations and new directions / editors, Peter M.D. Gray and Robert J. Lucas.