我有一个知识库,由一组规则组成,每个规则的头部在某些条件发生时执行复杂术语的断言或撤销.
我怎样才能确保Id每个都递增 assert(term(Id,A,B,C))？
Id
assert(term(Id,A,B,C))
global-variables prolog swi-prolog prolog-assert
global-variables ×1
prolog ×1
prolog-assert ×1
swi-prolog ×1