straint Programming Application, Implementation of Fuzzy Prolog. 1 Introduction ... tial truth. Most of these systems implement the fuzzy resolution introduced by ..... unifying the goal with the clause and adding the constraint corresponding to.
!"$#%$&(' *)+,-.-#0/1'2/(,30#54768#79;:=A@CBED FHGJILKNM1OJPQRILKNSUT(VXWYVCZ\[^]`_8VCWbaLOJPdceKfILM(ILWYWUIhgiI+[X](ILjNM_8KNkbIhjNIdlK2j(m PLnpo qdrsbt8uCvxwuCyzsU{|w,}e~Ls{|w,sUpsU{
Uuz0vxw,8
buC ppC|LpXhp|LpL`^h ¢£rsUt8uvxwuXyzsU{|w,}eC~ps%L¤fX|sb{+pph¥+^Cu¦ hsU`§U¨(L©h`§ª¡^w,sUCy?uX|§0 ~s«u{¬J}Xv,y?uC
Ub}p { s{psU{sbvU® uz~sU`©L}C¬Jw¯ uCv,s ± {+²^sYv,§x~upX~*C°L³p}pphwL`sU
U{+^C
\2uzh~Ls7´dup~hv,~ µX¶X·p·X¸ ´duX~Lv,~N¨8©Lt+uX{ ¹?º¼»U½U¾¿8ÀX½pÁe sitv,sU§xsU{|w*u~Lsb8{w,}X{=}X¬7uÃ+¥ÄUÄbÅÆ³¼v,}p}pƤ`uC{+p¥+uXXs£w,Ç+uCw yz}h~LsU§*{|w,sbv,²XuXȲpuC¥s\~ÉÃ¥+ÄUÄbÅɤf}Xp
p¨RuC{8~=§x¥Ê+§x¥+yzsb§Ë¬Ì}Xv,yzsYvduCt+tv,}puX
Ç+sU§ Ê1sU
UuX¥+§xszw%¥§xsU§7uwxv,¥w,ÇͲXuX¥+sev,sbtv,sU§xsU{|wuw,}X{Ê8uC§xs\~Î}X{u¥+{+}X{}X¬{|w,sbvxÈ ²XuX§%}X¬v,sUuX${L¥yeÊ1sbv,§uX{8~Íw%§7~Lsb8{s\~Í¥§x{+dXsU{+sbvuC-}Xt1sbvuCw,}Cv,§7w,Ç+uCw%
\uC{ yz}h~LsU(~Ï(sbv,sU{|w2}Xp
U§UÐ Â sHp²^s0w,Ç+sH~sU
UuvuCw,²^suC{8~?tv,}|
UsU~¥vuC1§xsUy?uX{|w,
U§ ¬J}XveÃ+¥+ÄUÄYŤN}pp
?tv,}XXvuCyz§UÐ{up~+~Lw,}X{f¨N¯s?tv,sb§xsU{|w7w,Çszyzt+sUyzsU{|wuCw,}X{ }C¬uX{Æ{hw,sYv,tv,sbw,sbve¬Ì}Xvzw,ǧzuC{+X¥8uXXsi
U}p{
UsU²^s\~Ñ¥+§x{Ò¤`³RÓÕÔÖYÐ Â s*Ç8u\²^s {+
b}Xv,t1}Xvuw,s\~¥+{
UsbvxwuX{|wÅÍ{|w,}£ui³v,}X}p£§ªÅL§ªw,sUy;{ud§xyzts?¯uUÅÎw,Ç+uX{+×h§ w,}?w,Ç+§
U}X{+§ªwxvuC{|w,§§ªÅL§ªw,sUydÐ(ØÇseyzt+sUyzsb{hwuw,}p{i§Ê8uC§xs\~Í}X{Íu*§ªÅL{|wuX
bw,
sbÙLt+uX{+§x}X{d}X¬w,Çs§x}p¥Lv,
Us
U}h~s%~L¥v,{+7w,Ç+s%³¼v,}p}pz
b}pyzt+uCw,}X{fÐ ÚÛܼÝ*ÞNß|à2áãâ K(nXnCäæåRWbPLGJPLaf]%lP1M1VCGJOjNaèç%jNSCVCWYZbILOj+Z,äL]éPLaOJSêå0WYPaLWUIhgdgdOjNaN]FHPLj(ë k,ZbWbILOj+Z%åRWbPLaWbILggdOJj(a*ì7í(í(GJOJSXI|ZbOPj](îxgdí(GJVCgdVCj+ZbIhZYOJPLjPhï â K(nXnCäÍå0WYPGPaNð ñ
)+#0/1&(3ò47ó`/(,30#
ô T(VWYVpkKNGZiPhïeOj+ZbWYP1M1KNSCOjNa â K(nCnXäõéPaLOÌSOj+ZYPêé$PLaLOÌSåRWbPLaLWUIhgdgdOJj(aöTNIkd÷fVXVCjAZYTNV M1VCøVCGJPLí(gdVCj+ZzPhïkVXøLVXWbILGù â K(nXnCäöå0WYPGPaú£kYä1k,ZbVCgikCð ô TNVXkYVdkYä1k,ZbVCgikeWYVXí(GÌILSVZbT(VdOj1ë ï¡VCWbVCjNSCV*gdVXSUTfIhj(OÌkgûPLïHåRWbPLGJPLaÍüOZbTÆIÍï¡K(nCnXäÑø|IhWbOJILjZeüT(OÌSUTöOÌkeIL÷(GJVZbPÎTNILjNM1GJV*ífIhWYë ZYOÌIhGZbWYK(ZYTð`lPkZ7PhïZbT(VXkYVkYä8kZYVXgikOgdí(GJVCgdVXjZZYT(V?ï¡K(nCnXäÎWbVXkYPLGJK1ZYOJPLjOJj+ZYWbP8M(KNSVpMÎ÷8ä éVCVeOJjÉý éVXV^þhÿ ]1V 1ILgdí(GVpk«÷fVXOj(aZbT(VzåRWbPLGJPLahë RGï¼kä1kZYVCg ý î ] â WYOJGåRWbPLGJPLakYä1k,ZbVCg ý lÑå ILjNM ZYT(V â ëxåRWbPLGJPLaÆGJILj(aLKNILaLVêý é$é ªð%P|ü«VCøVCWp]-ZbT(VCWbVüILkdj(P SCPLgdgdPLj gVCZYT(P1M=ï¡PW?ï¡K(nXnCOï¡ä8Oj(aÉåRWbPLGJPLaILkOZTNILk÷fVXVCj jNPhZYVpM=Oj ý _ e l ªð2_8PgVÎPhïZYTNVXkYV â K(nXnCä åRWbPLGJPLaÆkä1kZYVCgikPLjNGä SCPLjNkYOJM(VCW*ZYT(Vï¡K(nXnCOJj(VXkbkPhï7í(WbVXM(OJSXI|ZYVpküT(VCWbVXIkPLZYT(VXW kä1kZYVCgik%SCPLjNkYOÌM1VCWï¡KNnCnCäÍïILSZbk%PWï¡K(nCnXäÎWbK(GJVXkXð ô T(VXWYVzOÌkj(PÍILaLWbVCVXgVXj+ZIL÷fPK1Z%üT(OÌSUT ï¡K(nCnXäêGPaLOÌS£gKfk,Zd÷fVKNkYVXM¼ðlP+k,ZdPhï%ZbT(VCg KfkVÎgOJj1ëªgiI GJPLaLOÌ S ¡ï¡PLWgdP8M(VCGJOj(aÆZYTNV SPLj ,K(jNS\ZbOPjILjNMM1OJk ,K(jNSZYOJPLjPLí`VCWUI|ZbOPjNk 0÷(K1Z%PLZYT(VXWkä1kZYVCgi!k ,KNkZ%KNkYVËé$#K "|ILkYOVXüOJSCn GPaLOÌSý $ªð
ô T(VCWbVËOJkIhGÌkPiIhjV +ZbVCjNkYOJPLjPhï SPjNk,ZbWbILOj+Z%GJPLaOJSeí(WbPLaWbILggdOJj(aý l ª]NüT(OÌSUT CS IhjgdP1M1VXG-GJPLaOJSXk÷NILkYVXMPjÑkVXgdOWbOjNaÍk,ZbWYKfS\ZYKNWYVpkCð ô TNOJk7ï¡WbILgdVCü«PLW "ÍSCILjgP1M1VXGJk7ZYTNV gOJj1ëªgiI£ï¡K(nXnCäÎGPaLOÌS7ZbTNI|Z%OÌk«ZYTNVzPLj(GJä£PLjNVzüOZbTkYVCgdOJWYOJj(adk,ZbWYKfS\ZYKNWYVð jZYT(V?PLZYT(VXW7TNILjNMOJjõý _1TNI 2GJPLaOJSËí(WbPLaWbILgdgOJj(adOÌkSCPLjNkYOJM(VCWbVXMIiKNkYVï¡K(G$ZYP8PLG ï¡PLWOJgíNGVXgVXj+ZYOJj(aigdVZYTNP8MNkï¡PLWWbVXIkPj(OjNa*üOZYTK(jNSCVCWYZbILOj+Z,äLð îxj ZYTNOJkíNILífVXWX]«üHVÉí(WbPLí`PkYVÆILj(PhZbT(VCWIhí(íNWYP+ILSUT ZYTfI|ZOJkgdPLWbVöaVCj(VXWbILGOJj Z,ü«P ILkYífVpS\Zbk
Lðì5ZYWbK1ZYTAø|IhGJK(VüOGJG÷fVI Nj(OZYVK(j(OJPLj PhïËkK(÷(ëOJj+ZYVCWbø|IhGÌkPj ý ªð ì%jAOj+ZYVXWYø|ILG OJkzIíNILWZbOJSCK(GÌIhWzSCIkVdPhï«K(j(OJPLjÉPhï«PLj(VdVCGJVCgdVXjZp]$IhjfMÆIK(j(O +K(VZYWbK1ZYT=ø|IhGJK(VdOÌkzI íNIhWYZYOÌSKNGJILWSXILkYVËPhïTNI^ø8Oj(adIhjOJj+ZYVCWbø|IhG¼÷(K(Z%üOZbTPj(GJä£PLj(VËVXGVXgVXj+ZXð ÿ1ðì ZYWbK1ZYTø|IhGJK(VËüOGJG÷fVËí(WbPLíNILaIhZYVXMiZYT(WbPLK(aT£ZbT(VËWYK(GJVXk«÷8äigdVXILjNk«Phï2ILj ! " \ð ô TNVËM(V# Nj(OZYOJPLjPhï$!% &' &() # " OÌkaLVXj(VCWUIhGð+îªZkYK(÷NkYK(gdVXk SPj ,K(jNSZYOJøLVPLí`VCWUI|ZbPLWUk ÕZbWYOÌIhj(aK(GÌIhW j(PWYgikX](ý zlÑå ]ILk gdOJj]Lí(WbP1M¼]hVCZb S ]M1OÌk ,K(jNS\ë ZYOJøLVÑPífVXWbIhZYPWbk ¡ZYWbOJILj(aLK(GÌIhWÎSPhëªj(PWYgikiILk£gdI ¼]HkYK(g]0VZU S ]«I^øVCWUIhaLVPLí`VCWUI|ZbPLWUk I^øVCWUIhaLVpkILk%ILWYOZYT(gdVCZYOÌS?I^øLVXWbILaLVL]* +KNILkYOëGJOjNVXIhW%I^øVCWUIhaVL]8VZU S ILjNMT8ä+÷NWYOÌMPLí`VCWYë I|ZbPLWUk SPg÷(OJjNI|ZbOPjNkPhïí(WbVCø8OJPLKNk«PLí`VCWUI|ZbPLWUk ð + VILM(MêKNjNSVXWZUIhOJjZ,äÉZbPÆIöå0WYPGPaÑSPgíNOGJVCWKNkYOj(aêF«é$å -, zOJjNkZYVpILM PLï%Ogdí(GJVë gVXj+ZYOJj(aIÎjNVCü ï¡KNnCnCäöWYVpkPGK1ZbOPjÆIkPLZYT(VXWËï¡K(nCnXäöåRWbPLGJPLa+k7M1Pfð¼îxjöZbT(OÌkzü«I^ä]üHVKNkYV ZYT(V÷(K(OJGZbOj(a*Oj(ï¡VCWbVCjNSCV%gdVXSUTNILj(OJkYgPhï$åRWbPLGJPLaf]^ZYT(VeSPjNk,ZbWbILOj+ZUkRIhjNMiZYT(VXOWHPLí`VCWUI|ZYOJPLjfk í(WYP|ø8OÌM1VXMÉ÷8ä F«é$å ., eZYPöTNIhjNM(GViZbT(VÍSCPLjNSCVCí1ZPLïíNIhWYZYOÌIhG ZbWYK(ZYTð + VÍWYVXí(WYVpkVXj+Z?Oj1ë ZYVCWbø|IhGÌk0IkHSCPLjNkZYWUIhOJj+Zbk P|øVCW0WbVXILGNj8K(g*÷fVXWbkHIhjNM/' &( 0 ! " 01ËILk0PLí`VCWUI|ZYOJPLjfk üOZbTÎZbT(VXkYV?SPjNkZYWUIhOJjZUkCð + VeTNI^øLV7ï¡PLK(jfM¼]8VLð aNð8OjÉý 2 + ]1IhjÎOj+ZbVCWbí(WYVCZbIhZYOJPLj£PLï¼ZYWbK1ZYTø|IhGJK(VXk«ILk«OJjZbVCWbø|IhGÌk ÷(K1Z*ü«VÍILWYVií(WbPLí`PLjNOj(aÑï¡PLWzZbT(V3 NWUkZ?ZYOJgdV£ZYPöaLVCjNVCWUIhGJOnXVdZYT(OÌkSCPLjNSCVCí1Z*ZYPÑK(jNOPjêPhï Oj+ZYVXWYø|ILGJkXð + VzüOJGJG¼ZbILG "ÍIL÷fPK1ZZYTNVCOJWK1ZYOJGOZ,äÍ÷`VCGJP|üzð ô T(VaLPILG8PhïNZbT(OÌk íNIhí`VCW OÌk2ZYPzkYT(P|üõTNP|ü Oj+ZbWYP1M1KNSCOjNaï¡KNnCnCäWYVpILkYPLj(OJj(aeOjdIËåRWbPLGJPLa kä1kZYVCg SCILjÎí(WbP1M1KNSCV?I*í`P|ü«VCWYï¡K(GZYP8PLGZYP£kYPLGJøLVzSPgíNGV ÍK(jNSCVCWYZbIhOJj+Z,ä£í(WbPL÷(GJVCgikILjNM ZYPAí(WYVpkVXj+ZIhj Ogdí(GJVCgdVXjZUI|ZbOPj Phï*I â KNnCnCä å0WYPGPa ILkIõjfI|ZYKNWbILGeILí(í(GJOJSXI|ZYOJPLjèPhï F«é$å ., \ð ô T(VHWbVXkZ Phï(ZbT(VíNILífVXW2OÌk2PLWbaILj(OnXVXM?Ik2ï¡PLGJGP|ü%kXð|_8VXSZYOJPLjiÿ7M1VpkYSCWYOJ÷`VXk2ZYTNV«GÌIhjNaLKNILaLV IhjNMÎZYTNVkVXgiIhj+ZYOÌSCkPLï2PK(Wï¡K(nXnCäkä1kZYVCgðf_1VXS\ZbOPjdaLOJøLVpkM1VZUIhOJGJk%IL÷fPK1ZZYTNV?Ogdí(GJVë gVXj+ZbI|ZbOPjõKNkYOJj(a=F«é-å -, ð â OjNILGGJäL]ü«VSCPLjNSCGKfM1VÎILjNMõM1OÌkbSKNkbkdkPgVÍï¡K1ZYKNWYVüHPW " _8VpS\ZYOJPLj $ \ð 4
< Y "?< - 5 Yý ! D,A),+-% =< ( & ( ! , (CBD"_+_E F "?G < ' #H[ G < ' 3? # ' , J4@ K 'LT NM` ÎÛ Q9OO8Þ QO O Q pÛ+Pß S2ß|Û PO8Þ Q O Q!Y+2á O!Þ Q . "P.Q"?< ( & !%, ( &(%) &&%0R & ( 3 !@! &' &(%PF '%& H),%3% S%0R & D 3? # H " UT &&% S%WV#I">< XT &(%0R '%3RYV ( - # &( 1 ` j " [T &&% S%\V ÎÛ Q9OO8Þ Q ZV Þà2Û < ( Oj+ZbVCWbí(WYVCZbIhZYOJPLP Z (]^@ ( ]) & % & @) %0% % ` " 1 ÎgdP1M1VCG ( £ï¡K(nCnXä£ïIS\) 1 Î d g 8 P ( M C V G ( ! " * $ # 1 d f ] eg& Y!& ( !@! - ? !;&(1 [ ] 3? ? > ( & + ) & % 8QJ 8Q &N@ $ [ % & [ V #Y Y! % & V ? U) & % & @^) %0% % D 3? ! $ 1 ? $ ( !%' &( M - ' & (0 ` ` g ( -$ 1 gdP8M(VCG ( @ ? (# ]! 1 & ] ! " $*1##1 " 1 gdP1M1VCG ( ï¡K(nCnXäíNWYPaLWUIh0 ( ? `O` g _æKNjNM1VCW«ZbT(CV ."PWbM(VCWbOj(af]M1VXj(PhZbVXMÍ÷+Tä ?a` b_ \]+OJk ô T(V7GJVXIk,Z ` & !PLï-I?í(WbPLaWbILE SCIhGJGJVXMÍZYT(TV ` 0 - ÎPhï$ZbT(Vzí(WbPLaWbILX g _dð a
K
Û+à 7Þ8O Q $Û Q OYLá ô T(V 8VpM1í`PLOJjZRkYVCgiIhj+ZbOJSXk$ü«VHíNWYVpkVXjZOÌk-÷fILkYVXM?Pj*IPLj(VCëªkZYVXíSPjNkYV +K(VCjfSV«PLí`VCWUI|ZYPW ð ô T(V%GJVXIk,Z # 1VpM1ífPOj+Z ? US! " Oð VLð a" " OÌk ZYTNV7M1VXSCGJILWbIhZYOJøLVgdVXILj(OJj(a Phï2ZYT(Vzí(WbPLaWbILg _d]NkPdOÌkV +KNILGZYTP ? ` a_ ð éVZ _!÷`VIzï¡KNnCnCä£M(V# Nj(OZYVeí(WbPLaWbILg.Ihjf5M & ZYT(V %VXWY÷(WUIhjfMi÷NILkYV7PL4ï _ +ZYT(VXj£ZYTNV ` - P|øLVXW - # &( 1zOJkM1V! Nj(VpMIk«ï¡PLGJGP|ü%k éV,Z " [T &&% '%\V«÷`V?I*ï¡K(nCnXä - ! &( ](ZYT(VXj b" "?