Jess (プログラミング言語)

; はコメントです

(バインド?x 100 )  

; x = 100

(定義関数max ( ?a ?b ) ( if ( > ?a ?b ) then ?a else ?b ))   
                    

( deffacts myroom (家具椅子) (家具テーブル) (家具ベッド) ) 
           
           
           
          

( deftemplate car (スロットの色) (スロットの走行距離) (スロットの値) ) 
              
              
              
             

( assert (車(色赤) (走行距離10000 ) (値400 )))       

(クリア) 
( deftemplate blood-donor (スロット名) (スロットタイプ)) ( deffacts blood-bank ; 名前とそのタイプを [[作業メモリ]] に格納します( blood-donor (名前"Alice" )(タイプ"A" )) ( blood-donor (名前"Agatha" )(タイプ"A" )) ( blood-donor (名前"Bob" )(タイプ"B" )) ( blood-donor (名前"Barbara" )(タイプ"B" )) ( blood-donor (名前"Jess" )(タイプ"AB" )) ( blood-donor (名前"Karen" )(タイプ"AB" )) ( blood-donor (名前"Onan" )(タイプ"O" )) ( blood-donor (名前"Osbert" )(タイプ"O" )) ) ( defrule can-give-to-same-type-but-not-self ; A > A、B > B、O > O、AB > AB は処理しますが、N1 > N1 は処理しません( blood-donor ( name ?name )( type ?type )) ( blood-donor ( name ?name2 )( type ?type2 &: ( eq ?type ?type2 ) &: ( neq ?name ?name2 ) )) => ( printout t ?name " can give blood to " ?name2 crlf ) ) ( defrule O-gives-to-others-but-not-itself ; O は上記のルールで O をカバーします( blood-donor ( name ?name )( type ?type &:( eq ?type "O" ))) (献血者(名前?name2 )(タイプ?type2 &: ( neq ?type ?type2 )     
  
             
             
             
             
             
             
             
             
          
  
            
                    
         
              
         
  
               
                 &: ( neq ?name ?name2 ) )) => ( printout t ?name " can give blood to " ?name2 crlf ) ) ( defrule A-or-B-gives-to-AB ; case O が AB に与え、AB が AB に与える 既に処理済み( blood-donor ( name ?name )( type ?type &: ( or ( eq ?type "A" ) ( eq ?type "B" )))) ( blood-donor ( name ?name2 )( type ?type2 &: ( eq ?type2 "AB" ) &: ( neq ?name ?name2 ) )) => ( printout t ?name " can give blood to " ?name2 crlf ) ) ;(すべて監視) ( reset ) ( run )