Prolog - Ecuaciones en prolog (ayuda)

Bien de lo que se trata es lo siguiente:

como puedo introducir desde la consola de prolog, un predicado como este:

? ecuacion(2x+3).

Y quiero que me lo reconozca como una funcion, para despues resolverla.

Si saben como, agradeceria su ayuda... Es para un proyecto... Gracias de antemano