Chapter 6
Definition
6.1 Definition
In this chapter, we will explain predicates, functor, and mode definitions.
Contents
Back
Next