Wire-Based Inference

• Assume

(define-relation

:name “member”

:type entity
:adjust reduce
:limit 1)

Previous slide

Next slide

Back to first slide

View graphic version