https://123dok.org/document/dy4mlx0y-tuprolog-manual.html