Extensional Predicate

From GM-RKB

Jump to navigation Jump to search

An Extensional Predicate is a set of Ground Facts over the same Predicate Logic Sentence.

See: Extensional Definition, Logic Programming, Relation.

Retrieved from "http://www.gabormelli.com/RKB/index.php?title=Extensional_Predicate&oldid=686946"

Concept