Compatibility Matrix

The following compatibility issues persist for the kernel theory:

Table 7: Compatibility Matrix for the Kernel Theory

Nr

Description

System

1

Does not have predicate once.

DEC10

2

Has predicate unknown to control undefined predicates.

DEC10

3

Does not have predicates catch and throw.

DEC10

4

Has public directive and incore predicate.

DEC10

5

Has interpreter and compiled code for same predicate

DEC10

6

Has mode declarations.

DEC10

7

Cannot compile (->)/2 predicate.

DEC10

8

Says folding of (;)/2 with cut not work, no sys_nobarrier

DEC10

9

Says cut has no declarative reading, outdated view.

DEC10

10

No subtlety of sys_call/1 in ->/2 and \+/1 found.

DEC10

11

Leaves last call optimization open.

ISO

12

Leaves multi-argument indexing open.

ISO

13

Leaves memory management open.

ISO

Comments