update resolveur
This commit is contained in:
parent
b97dce79d0
commit
49d0c9af70
1 changed files with 11 additions and 2 deletions
13
resolveur.pl
13
resolveur.pl
|
@ -1,6 +1,14 @@
|
||||||
|
longueur(X) :- X.
|
||||||
|
largeur(X) :- X.
|
||||||
|
|
||||||
|
aire(X1, Y1, X1, Y1, 1) :- write('blanc').
|
||||||
|
aire(X1, Y1, X2, Y2, N) :- X1, Y1, X2, Y2, N.
|
||||||
|
|
||||||
|
run :- write('oui').
|
||||||
|
|
||||||
/*
|
/*
|
||||||
width(6).
|
longueur(6).
|
||||||
height(6).
|
largeur(6).
|
||||||
aire(0,0,1,1,2).
|
aire(0,0,1,1,2).
|
||||||
aire(2,0,2,2,-1).
|
aire(2,0,2,2,-1).
|
||||||
aire(3,0,5,1,-1).
|
aire(3,0,5,1,-1).
|
||||||
|
@ -10,4 +18,5 @@ aire(3,2,5,2,0).
|
||||||
aire(1,4,1,4,1).
|
aire(1,4,1,4,1).
|
||||||
aire(2,3,5,5,4).
|
aire(2,3,5,5,4).
|
||||||
aire(0,5,1,5,-1).
|
aire(0,5,1,5,-1).
|
||||||
|
run.
|
||||||
*/
|
*/
|
||||||
|
|
Reference in a new issue