Title: Prolog and Its Applications