Solving optimisation problems in the Aurora or-parallel Prolog system | Publicación