Title: LPA MacPROLOG reference manual