Compatibility Matrix

The following compatibility issues persist for the structure theory:

Table 10: Compatibility Matrix for the Structure Theory

Nr

Description

System

1

Does not have the predicates float and number.

DEC10

2

Does not have the predicate compound.

DEC10

3

Has predicate name.

DEC10

4

Does not have predicates atom_codes and number_codes.

DEC10

5

Does not have predicate unify_with_occurs_check.

DEC10

6

Does not have predicate copy_term.

DEC10

7

Has length predicate.

DEC10

8

Has no predicate findall/3.
DEC10

9

Has mention of null atom in lexical comparison.

ISO

10

Has mention of collating sequence in lexical comparison.

ISO

11

Does not have max_code flag.

ISO

12

Allows blanks at the beginning of numbers.

ISO

13

Has classification and case conversion built-ins.

UNID

14

Has normalization and boundary built-ins.

UNID



Kommentare