; คือความคิดเห็น( ผูก?x 100 ); x = 100( deffunction max ( ?a ​​?b ) ( if ( > ?a ?b ) then ?a else ?b ))( กำจัดสิ่งของในห้องของฉัน( เก้าอี้เฟอร์นิเจอร์) ( โต๊ะเฟอร์นิเจอร์) ( เตียงเฟอร์นิเจอร์) )( deftemplate car ( slot color ) ( slot mileage ) ( slot value ) )( assert ( car ( color red ) ( mileage 10000 ) ( value 400 )))

( clear ) ( deftemplate blood-donor ( slot name ) ( slot type )) ( deffacts blood-bank ; put names & their types into [[working memory]] ( blood-donor ( name "Alice" )( type "A" )) ( blood-donor ( name "Agatha" )( type "A" )) ( blood-donor ( name "Bob" )( type "B" )) ( blood-donor ( name "Barbara" )( type "B" )) ( blood-donor ( name "Jess" )( type "AB" )) ( blood-donor ( name "Karen" )( type "AB" )) ( blood-donor ( name "Onan" )( type "O" )) ( blood-donor ( name "Osbert" )( type "O" )) ) ( defrule can-give-to-same-type-but-not-self ; handles A > A, B > B, O > O, AB > AB แต่ไม่ใช่ N1 > N1 ( ผู้บริจาคโลหิต( ชื่อ?ชื่อ)( ประเภท?ประเภท)) ( ผู้บริจาคโลหิต( ชื่อ?ชื่อ2 )( ประเภท?ประเภท2 &: ( เท่ากับ?ประเภท?ประเภท2 ) &: ( ไม่เท่ากับ?ชื่อ?ชื่อ2 ) )) => ( พิมพ์? ชื่อ" สามารถบริจาคโลหิตให้ " ?ชื่อ2 crlf ) ) ( กฎO-ให้-แก่-ผู้อื่น-แต่ไม่-ให้-ตัวเอง; O ถึง O ครอบคลุมในกฎข้างต้น( ผู้บริจาคโลหิต( ชื่อ?ชื่อ)( ประเภท?ประเภท&:( eq ?type "O" ))) ( ผู้บริจาคโลหิต( ชื่อ?name2 )( ประเภท?type2 &: ( neq ?type ?type2 )&: ( neq ?name ?name2 ) )) => ( printout t ?name " สามารถบริจาคเลือดให้ " ?name2 crlf ) ) ( defrule A-or-B-gives-to-AB ; กรณี O บริจาคให้ AB และ AB บริจาคให้ AB ได้รับการจัดการแล้ว( ผู้บริจาคเลือด( name ?name )( type ?type &: ( or ( eq ?type "A" ) ( eq ?type "B" )))) ( ผู้บริจาคเลือด( name ?name2 )( type ?type2 &: ( eq ?type2 "AB" ) &: ( neq ?name ?name2 ) )) => ( printout t ?name " สามารถบริจาคเลือดให้ " ?name2 crlf ) ) ;(watch all) ( reset ) ( run )