Prolog - Sudoku

Tengo el siguiente codigo en prolog para el sudoku pero no logro hacerlo funcionar:

vlis:- A is 1;
vlis:- B is 2;
vlis:- C is 3;
vlis:- D is 4;

sudo(X):- X is([[C11,3,C13,4],
[4,C22,C23,1],
[3,C32,1,C34],
[C41,1,C43,3]]).

listS([A,B,C,D]):- vlis(A),
vlis(B),
vlis(C),
vlis(D),
A\=B,
A\=C,
A\=D,
B\=C,
B\=D,
C\=D.


sudoku(X):-listS(C11,C12,C13,C14),
listS(C21,C22,C23,C24),
listS(C31,C32,C33,C34),
listS(C41,C42,C43,C44),
listS(C11,C21,C31,C41),
listS(C12,C22,C32,C42),
listS(C13,C23,C33,C43),
listS(C14,C24,C34,C44),
listS(C11,c12,C21,C22),
listS(C13,C14,C23,C24),
listS(C31,C32,C41,C42),
listS(C33,C34,C43,C44).

Se que asi por ese estilo puede funcionar, sinembargo tengo problemas con los comandos de este lenguaje, si alguno de ustedes puede indicarme como mejorarlo para que me funcione les Agradeceria mucho.

NO mijo eso no es asi
jajajajaja

OK, de todos modos gracias, seguire intentando hasta que lo haga.

Bueno, aunque el problema era un poco confuso se logro el objetivo.
Nunca trabaje con prolog pero con la ayuda de unos compañeros logramos hacer funcionar el sudoku.
El codigo funcional es:

vlis(X):- X is 1.
vlis(X):- X is 2.
vlis(X):- X is 3.
vlis(X):- X is 4.

sudo(X):- X = [C11,3,C13,4,
4,C22,C23,1,
3,C32,1,C34,
C41,1,C43,3].

listS(A,B,C,D,):-vlis(A),vlis(B),vlis(C),vlis(D),
A\=B,A\=C,A\=D,
B\=C,B\=D,
C\=D.

sudoku([C11,C12,C13,C14,
C21,C22,C23,C24,
C31,C32,C33,C34,
C41,C42,C43,C44]):-listS(C11,C12,C13,C14),
listS(C21,C22,C23,C24),
listS(C31,C32,C33,C34),
listS(C41,C42,C43,C44),
listS(C11,C21,C31,C41),
listS(C12,C22,C32,C42),
listS(C13,C23,C33,C43),
listS(C14,C24,C34,C44),
listS(C11,C12,C21,C22),
listS(C13,C14,C23,C24),
listS(C31,C32,C41,C42),
listS(C33,C34,C43,C44).

Gracias por la oportunidad en este foro.

hola Alexander,

tu codigo es interesante, yo hace como un año hice un codigo para un sudoku en prolog y lo utilizaba desde java para la interfaz grafica, apenas llegue a la casa lo busco y te lo mando para que veas como lo hice, tambien voy a poner a funcionar el tuyo que aun que solo lo veo, me parece interesante.

saludos,
Eduardo.

Muchas Gracias eduardo, la verdad si me interesa pues yo desarrollo en java y es muy interesante conocer como este se relaciona con el Prolog.

Oye muchas gracias.

NOTA:
El codigo de prolog del sudoku fue hecho para SWI-Prolog.

eduardo ... te pido un fabor .. me puedes enviar el codigo para echarle un vistazo

Hola Eduardo, me preguntaba si me podrías mandar el sudoku que hiciste para tener una idea de como hacerlo.
Desde ya gracias

Disculpa haz enlazado prolog con visual basic???

Eduardo por favor comparte tu codigo, es interesante saber como enlasaste prolog con java...

agradecido de antemano...