Title: Prolog Programming and applications