define-logic-pred ( name -- )


Vocabulary
logic.private

Inputs
namean object


Outputs
None

Definition