Chapter 6

Definition

6.1 Definition

In this chapter, we will explain predicates, functor, and mode definitions.