(notext 1)
(assert (num 11) (num 2) (num 3) (num 9) (num 7) (num 6) (num 5) (num 4) (num 8) (num 10) (num 1) (num 0) (num 12))
(rule ordenar
(num ?n0)
(num ?n1) (> ?n1 ?n0)
(num ?n2) (> ?n2 ?n1)
(num ?n3) (> ?n3 ?n2)
(num ?n4) (> ?n4 ?n3)
(num ?n5) (> ?n5 ?n4)
(num ?n6) (> ?n6 ?n5)
(num ?n7) (> ?n7 ?n6)
(num ?n8) (> ?n8 ?n7)
(num ?n9) (> ?n9 ?n8)
(num ?n10) (> ?n10 ?n9)
(num ?n11) (> ?n11 ?n10)
(num ?n12) (> ?n12 ?n11)
(unique this):
(print ?n0 ?n1 ?n2 ?n3 ?n4 ?n5 ?n6 ?n7 ?n8 ?n9 ?n10 ?n11 ?n12))

규칙기반 익스퍼트 시스템