ISO/IEC 13211-1:1995/Cor 2:2012
Information technology — Programming languages — Prolog — Part 1: General core — Technical Corrigendum 2
| Get this standard | Prices exclude GST | |
|---|---|---|
| PDF ( Single user document) |
$0.00 NZD
|
|
| HardCopy |
$56.25 NZD
|
|
| Networkable PDF |
Price varies
|
Information technology - Programming languages - Prolog - Part 1: General Core TECHNICAL CORRIGENDUM 2
6.3.4.3 Operators
6.3.4.4
6.4 Tokens
6.4.8 Other tokens
6.5.3 Solo characters
7.1.1.5 Witness variable list of a term
7.1.6.9 List prefix of a term
7.8.3.4 example no. 6
7.8.9 catch/3
7.8.9.2 Template and modes
7.8.9.3 Errors
7.8.9.2 Template and modes
7.8.9.3 Errors
7.9.1 Description (Evaluating an expression)
7.9.2 Errors (Evaluating an expression)
7.12.2 Error classification
8.1.3 Errors (The format of built-in predicate definitions)
8.2.4 subsumes_term/2
8.2.4.1 Description
8.2.4.2 Template and modes
8.2.4.3 Errors
8.2.4.4 Examples
8.3.9 callable/1
8.3.9.1 Description
8.3.9.2 Template and modes
8.3.9.3 Errors
8.3.9.4 Examples
8.3.10 ground/1
8.3.10.1 Description
8.3.10.2 Template and modes
8.3.10.3 Errors
8.3.10.4 Examples
8.3.11 acyclic_term/1
8.3.11.1 Description
8.3.11.2 Template and modes
8.3.11.3 Errors
8.3.11.4 Examples
8.4 Term comparison, 8.4.1
8.4.2 compare/3 – three-way comparison
8.4.2.1 Description
8.4.2.2 Template and modes
8.4.2.3 Errors
8.4.2.4 Examples
8.4.3 sort/2
8.4.3.1 Description
8.4.3.2 Template and modes
8.4.3.3 Errors
8.4.3.4 Examples
8.4.4 keysort/2
8.4.4.1 Description
8.4.4.2 Template and modes
8.4.4.3 Errors
8.4.4.4 Examples
8.5.5 term_variables/2
8.5.5.1 Description
8.5.5.2 Template and modes
8.5.5.3 Errors
8.5.5.4 Examples
8.9.3.3 Errors (retract/1)
8.9.5 retractall/1
8.9.5.1 Description
8.9.5.2 Template and modes
8.9.5.3 Errors
8.9.5.4 Examples
8.11.5.3 Errors (open/4, open/3)
8.14.3.3 Errors (op/3)
8.14.3.4
8.15.4 call/2..8
8.15.4.1 Description
8.15.4.2 Template and modes
8.15.4.3 Errors
8.15.4.4 Examples
8.15.5 false/0
8.15.5.1 Description
8.15.5.2 Template and modes
8.15.5.3 Errors
8.15.5.4 Examples
8.16.4.3 Errors (atom_chars/2)
8.16.5.3 Errors (atom_codes/2)
8.16.7.3 Errors (number_chars/2)
8.16.8.3 Errors (number_codes/2)
9.1.1
9.1.3
9.1.4
9.3.8 max/2 – maximum
9.3.8.1 Description
9.3.8.2 Template and modes
9.3.8.3 Errors
9.3.8.4 Examples
9.3.9 min/2 – minimum
9.3.9.1 Description
9.3.9.2 Template and modes
9.3.9.3 Errors
9.3.9.4 Examples
9.3.10 (^)/2 – integer power
9.3.10.1 Description
9.3.10.2 Template and modes
9.3.10.3 Errors
9.3.10.4 Examples
9.3.11 asin/1 – arc sine
9.3.11.1 Description
9.3.11.2 Template and modes
9.3.11.3 Errors
9.3.11.4 Examples
9.3.12 acos/1 – arc cosine
9.3.12.1 Description
9.3.12.2 Template and modes
9.3.12.3 Errors
9.3.12.4 Examples
9.3.13 atan2/2 – arc tangent
9.3.13.1 Description
9.3.13.2 Template and modes
9.3.13.3 Errors
9.3.13.4 Examples
9.3.14 tan/1 – tangent
9.3.14.1 Description
9.3.14.2 Template and modes
9.3.14.3 Errors
9.3.14.4 Examples
9.3.15 pi/0 – pi
9.3.15.1 Description
9.3.15.2 Template and modes
9.3.15.3 Errors
9.3.15.4 Examples
9.4.6 xor/2 – bitwise exclusive or
9.4.6.1 Description
9.4.6.2 Template and modes
9.4.6.3 Errors
9.4.6.4 Examples
Blank Page
Related Information
Similar Standards
-
AS/NZS 3968.0:1994
Information technology - Database languages - SQL - Definition of data structures and basic operations
-
AS/NZS 3968.0:1994 A1
Information technology - Database languages - SQL - Definition of data structures and basic operations: Amendment 1
-
AS/NZS 3968.3:1998
Information technology - Database languages - SQL - Call-level interface
-
AS/NZS ISO/IEC 14882:2022
Programming languages – C++
Information technology - Programming languages - Prolog - Part 1: General Core TECHNICAL CORRIGENDUM 2
6.3.4.3 Operators
6.3.4.4
6.4 Tokens
6.4.8 Other tokens
6.5.3 Solo characters
7.1.1.5 Witness variable list of a term
7.1.6.9 List prefix of a term
7.8.3.4 example no. 6
7.8.9 catch/3
7.8.9.2 Template and modes
7.8.9.3 Errors
7.8.9.2 Template and modes
7.8.9.3 Errors
7.9.1 Description (Evaluating an expression)
7.9.2 Errors (Evaluating an expression)
7.12.2 Error classification
8.1.3 Errors (The format of built-in predicate definitions)
8.2.4 subsumes_term/2
8.2.4.1 Description
8.2.4.2 Template and modes
8.2.4.3 Errors
8.2.4.4 Examples
8.3.9 callable/1
8.3.9.1 Description
8.3.9.2 Template and modes
8.3.9.3 Errors
8.3.9.4 Examples
8.3.10 ground/1
8.3.10.1 Description
8.3.10.2 Template and modes
8.3.10.3 Errors
8.3.10.4 Examples
8.3.11 acyclic_term/1
8.3.11.1 Description
8.3.11.2 Template and modes
8.3.11.3 Errors
8.3.11.4 Examples
8.4 Term comparison, 8.4.1
8.4.2 compare/3 – three-way comparison
8.4.2.1 Description
8.4.2.2 Template and modes
8.4.2.3 Errors
8.4.2.4 Examples
8.4.3 sort/2
8.4.3.1 Description
8.4.3.2 Template and modes
8.4.3.3 Errors
8.4.3.4 Examples
8.4.4 keysort/2
8.4.4.1 Description
8.4.4.2 Template and modes
8.4.4.3 Errors
8.4.4.4 Examples
8.5.5 term_variables/2
8.5.5.1 Description
8.5.5.2 Template and modes
8.5.5.3 Errors
8.5.5.4 Examples
8.9.3.3 Errors (retract/1)
8.9.5 retractall/1
8.9.5.1 Description
8.9.5.2 Template and modes
8.9.5.3 Errors
8.9.5.4 Examples
8.11.5.3 Errors (open/4, open/3)
8.14.3.3 Errors (op/3)
8.14.3.4
8.15.4 call/2..8
8.15.4.1 Description
8.15.4.2 Template and modes
8.15.4.3 Errors
8.15.4.4 Examples
8.15.5 false/0
8.15.5.1 Description
8.15.5.2 Template and modes
8.15.5.3 Errors
8.15.5.4 Examples
8.16.4.3 Errors (atom_chars/2)
8.16.5.3 Errors (atom_codes/2)
8.16.7.3 Errors (number_chars/2)
8.16.8.3 Errors (number_codes/2)
9.1.1
9.1.3
9.1.4
9.3.8 max/2 – maximum
9.3.8.1 Description
9.3.8.2 Template and modes
9.3.8.3 Errors
9.3.8.4 Examples
9.3.9 min/2 – minimum
9.3.9.1 Description
9.3.9.2 Template and modes
9.3.9.3 Errors
9.3.9.4 Examples
9.3.10 (^)/2 – integer power
9.3.10.1 Description
9.3.10.2 Template and modes
9.3.10.3 Errors
9.3.10.4 Examples
9.3.11 asin/1 – arc sine
9.3.11.1 Description
9.3.11.2 Template and modes
9.3.11.3 Errors
9.3.11.4 Examples
9.3.12 acos/1 – arc cosine
9.3.12.1 Description
9.3.12.2 Template and modes
9.3.12.3 Errors
9.3.12.4 Examples
9.3.13 atan2/2 – arc tangent
9.3.13.1 Description
9.3.13.2 Template and modes
9.3.13.3 Errors
9.3.13.4 Examples
9.3.14 tan/1 – tangent
9.3.14.1 Description
9.3.14.2 Template and modes
9.3.14.3 Errors
9.3.14.4 Examples
9.3.15 pi/0 – pi
9.3.15.1 Description
9.3.15.2 Template and modes
9.3.15.3 Errors
9.3.15.4 Examples
9.4.6 xor/2 – bitwise exclusive or
9.4.6.1 Description
9.4.6.2 Template and modes
9.4.6.3 Errors
9.4.6.4 Examples
Blank Page