Prolog - Ayuda en Ejercicio Prolog (Encadenamiento hacia Adelante)

Hola alguien que pueda ayudarme. Tengo dudas con un ejercicio que consiste en lo siguiente:




El asunto es que no se muy bien como hacer las condiciones que pide. Mas bien los encadenamiento y resultados. Alguna forma de poner if en prolog para que si son verdaderas las condiciones se cree ya sea una suma o resta. Ya que mi idea es agregar la lista con las opciones y después el precio del producto.

Llevo esto:

%Hechos iniciales
hecho(realizar_estudio).
hecho(no_realizar_estudio).
%Operadores
:-op(800,fx,si).
:-op(700,xfx,entonces).
:-op(300,xfx,o).
:-op(200,xfx,y).
%Condiciones
si
(realizar_estudio y introducir_mercado) y producto_fracasa
entonces
80.
si
(realizar_estudio y no_introducir_mercado) y producto_exitoso
entonces
90.
si
realizar_estudio y no_introducir_mercado
entonces
40.
si
(no_realizar_estudio y introducir_mercado) y producto_fracasa
entonces
40.
si
(no_realizar_estudio y introducir_mercado) y producto_exitoso
entonces
120.
si
no_realizar_estudio y no_introducir_mercado
entonces
0.