Pralog a rational language and its applications - Maloas, John (New Jersey Prentice Hall, 1987)