Â¥Ö÷

[ÇóÖú]Ò»¸ö¼òµ¥µÄProlog³ÌÐò¡ª¡ªÇó½»¼¯ %ÇóÁ½¸ö¼¯ºÏµÄ²¢¼¯ class set1 domains     list = integer*.     name=integer. predicates     member:(name,list)nondeterm.  %ÅжÏÔªËØnameÊÇ·ñÔÚ¼¯ºÏlistÖÐ     intersection:(list,list)nondeterm.           %ÇóÁ½¸ö¼¯ºÏµÄ²¢¼¯        end class implement set1 clauses    member(Name,[Name|_]):-            stdio::write(Name),            stdio::nl,            !.    member(Name,[_|T]):-            member(Name,T).       intersection([],[_|_]):-            !.    intersection([Name|_],Namelist):-            member(Name,Namelist).    intersection([_|T],Namelist):-            intersection(T,Namelist).    end implement goal    console::init(),    stdio::write("¼¯ºÏ[45,21,4,6,8,5,2,5,9]Óë[8,5,1,9,21,4,7,5,45]µÄ½»¼¯Îª£º\n"),    set1::intersection([45,21,4,6,8,5,2,5,9],[8,5,1,9,21,4,7,5,45]). Çë´ó¼Ò°ïÎÒ ¿´¿´ÉÏÃæµÄ³ÌÐò¡£ÏëÎÊÎÊ´ó¼Ò¹ØÓÚ´íÎó The predicate '::goal/0', which is declared as 'procedure', is actually 'nondeterm' Ó¦¸ÃÈçºÎ½â¾ö¡£¶ÔÓÚν´ÊģʽÈç( Erroneous - Always exit failure  - Always fail procedure - Always success determ  - succeed or fails multi  - 1 or more solutions (never fail) nondeterm - 0 or more solutions)Ó¦¸ÃÔõôʹÓá£Ð¡µÜÔÚÕâÀï°ÝлÁË¡£    Êղؠ  ·ÖÏí   ¶¥(0)