This project is DISCONTINUED. New, extended and substantially improved functionality is available here: https://github.com/wolski/prolfqua