Title: Application Programming in Quintus Prolog