Desafio pirámide de números

Dada la siguiente pirámide (cortada) con 9 casilleros (5 en la base + 4 en la cima):

Se quieren acomodar los números del 1 al 9 donde cada casillero de la cima sea igual a la suma de los 2 casilleros que tiene como base. Un ejemplo chiquito podría ser:

El desafío consiste en encontrar todas las soluciones posibles para acomodar los números del 1 al 9 en la pirámide.

Ayuda: Existe el predicado between(Inicio, Fin, Numero) el cual dado un número Inicio y un número Fin relaciona algún Numero que se encuentra entre esos otros dos.