Tag: logic

Courtesy of this site, we have a nice succint definition of a predicate: A predicate is a verb phrase template that describes a property of objects, or a relationship among objects represented by the variables. The statement Mat is right can be thus represented by the arbitrary object Mat as it applies to the predicate “is_right” represented […]