Revisiting Immediate Consequences Operator on First-Order Logic Programming
摘要
Logic programming is a fundamental paradigm based on formal logic with relevant features in the design of automatic intelligence systems. The computation of the consequences from a given dataset, modeled by logic rules, is given by the immediate consequences operator. This paper clarifies the definition of this operator in the first-order logic programming framework and remarks the consideration of two sets in the computation of the immediate consequences operator.