Digamos que quiero crear una regla que me diga los números que existen del 1 al 3... Yo cree esta regla:
x(N,R) :- number(N), R =< N, R >= 1.
y si le pregunto con los 2 argumentos, me responde lo que quiero:
x(3,4) = false
o
x(4,1) = true
pero si pregunto con un solo argumento:
x(X,6)
o x(6,X)
me responde:
Arguments are not sufficiently instantiated
In:
[3] _1418=<3
[2] x(3,_1474) at line xx
[1] '<meta-call>'((trace,...)) <foreign>
y no se como decirle que si le pregunto por ejemplo:
x(3,X)
quiero que me diga:
X = 2;
X = 3;
false.