https://staff.itee.uq.edu.au/pjr/HomePages/QuPrologHome.html
