剪辑：避免结缔约束

Question

假设我们具有以下CLIPS模板和规则：

;; The queue sequence starts at 0.
;; -1 is a placeholder value to identify a newly inserted element.
;; The idea is to put a newly inserted element at the end of the queue.
(deftemplate queue-element
    (slot order (type INTEGER) (default -1))

(deftemplate put-at-the-end
    ?e1 <- (queue-element (order -1))
    ?e2 <- (queue-element (order ?o1))
    (not (queue-element (order ?o2&:(> ?o2 ?o1))))
  =>
    (modify ?e1 (order (+ ?o1 + 1))))

是否有办法将“连接约束” (> ?o2 ?o1)移出模式并将其移至类似于(test (> ?o2 ?o1))结构的地方？

这个想法是避免在肠道中遇到这些情况。

Answer 1

您可以使用和条件元素将几个条件元素放在非条件元素中。

{{1}}