From 49d0c9af7021f18cc94b626805263456797b281d Mon Sep 17 00:00:00 2001 From: Anri Kennel Date: Thu, 25 Feb 2021 21:33:15 +0100 Subject: [PATCH] update resolveur --- resolveur.pl | 13 +++++++++++-- 1 file changed, 11 insertions(+), 2 deletions(-) diff --git a/resolveur.pl b/resolveur.pl index cd2c71d..471c6b3 100644 --- a/resolveur.pl +++ b/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). -height(6). +longueur(6). +largeur(6). aire(0,0,1,1,2). aire(2,0,2,2,-1). aire(3,0,5,1,-1). @@ -10,4 +18,5 @@ aire(3,2,5,2,0). aire(1,4,1,4,1). aire(2,3,5,5,4). aire(0,5,1,5,-1). +run. */