Title: MacPROLOG reference manual