 | maximum amount of local and global domain names for one program module can
be no more than 4096 (1400 for 16-bit platforms). |
 | maximum amount of alternatives in the domain declaration is 250. |
 | maximum amount of predicate names in one module is 8192 (5000 for 16-bit
platforms). This includes both predicate and database declarations, and
different flow pattern variants for each predicate. |
 | maximum amount of variables in a clause is 250. In the VDE Test Goal mode
- maximum is 12. |
 | maximum number of predicate calls in a clause is 250. |
 | maximum number of clauses is 1000 for each predicate. |
 | maximum number of arguments is 50. |
 | maximum number of domain names on the left-hand side of a domain
declaration is 20. |
 | maximum number of database predicates in each facts (database) section is
250. |