Extensional Predicate
Jump to navigation
Jump to search
An Extensional Predicate is a set of Ground Facts over the same Predicate Logic Sentence.
An Extensional Predicate is a set of Ground Facts over the same Predicate Logic Sentence.