Title: MacPROLOG environment guide