1
Vote

Abstract facts

description

Allow a fact to be declared abstract. An abstract fact may have abstract queries or predicates. Abstract facts cannot be instantiated. Derived facts must implement all abstract queries and predicates, or be abstract themselves.

comments