Significado de los indicadores de modo de instanciación en los argumentos de los predicados Prolog
En cuanto a la documentación de Prolog, las firmas de predicados a veces se escriben de la siguiente manera:
foo(:Bar, +Baz, -Qux, ?Mop)
Qué son:, +, - y? ¿Para y como los interpreto? Además, ¿son estos los únicos que existen o hay más de ellos?