KS X ISO IEC 13211-1-2007 Information technology－Programming languages－Prolog－Part 1：General core《信息技术 程序设计语言 Prolog 第1部分 通用芯》.pdf

《KS X ISO IEC 13211-1-2007 Information technology－Programming languages－Prolog－Part 1：General core《信息技术 程序设计语言 Prolog 第1部分 通用芯》.pdf》由会员分享，可在线阅读，更多相关《KS X ISO IEC 13211-1-2007 Information technology－Programming languages－Prolog－Part 1：General core《信息技术 程序设计语言 Prolog 第1部分 通用芯》.pdf（30页珍藏版）》请在麦多课文档分享上搜索。

1、 KS X ISO/IEC 132111 KSKSKSKS SKSKSKS KSKSKS SKSKS KSKS SKS KS 1： KS X ISO/IEC 132111 : 2007 (2012 ) 2007 11 30 http:/www.kats.go.krKS X ISO/IEC 132111：2007 : ( ) ( ) SJ ( ) : () ( ) Microsoft IBM : (http:/www.standard.go.kr) ： ：2003 10 28 ：2007 11 30 ：2012 12 28 ： 2012-0798 ： ( 02-509-7262) (http:/

2、www.kats.go.kr). 10 5 , . KS X ISO/IEC 132111 : 2007 (2012 ) 1： Information technology Programming languages Prolog Part 1 ：General core , KS 1995 1 ISO/IEC 132111, Information technologyProgramming languagesProlog Part 1：General core . 1 (data processing systems) . . a) b) c) d) e) f) . 1) , 2) , 3

3、) 4) 5) (loop), (debugger), , , , . 1.1 , KS X ISO/IEC 132111：2007 2 . . a) . b) . 2 ISO/IEC 132111：1995 2. Normative reference . 3 ISO 2382 . ( ) (phrase) . . *() . KS X 000115 KS X 000115 . . 3.1 A 6.1.2 b), 7.1.4 3.2 (activation) 3.3 (activator) (7.7.3 ) 3.4 , (algorithm, herbrand) 3.85 3.5 (alia

4、s) (7.10.2.2 ) user_input user_output (7.10.2.3 ). . 3.6 (anonymous variable) KS X ISO/IEC 132111：2007 3 ( ) ( )(6.1.2 6.4.3 ) 3.7 (argument) (predication) 3.8 (arithmetic data type) Z 3.9 (arity) . 3.10 (assert, to) . . 3.11 () associativity (of an operator) , (6.3.4 4 ) 3.12 (atom) 6.1.2 b), 7.1.4

5、 3.13 , (atom, null) 3.117 3.14 , (atom, one-char) 3.119 3.15 (atomic term) 3.16 (axiom) 3.17 (backtrack, to) (7.7.8 ). KS X ISO/IEC 132111：2007 4 3.18 , (bias, exponent) 3.68 3.19 (body) (3.154 ) 3.20 ( ) bootstrapped(built-in predicate) (8.1.5 ) 3.21 (built-in predicate) (8. ) 3.22 (byte) 0255 (7.

6、1.2.1 ) 3.23 C (7.1.4.1 ) 3.24 (callable term) 3.25 CC (7.1.2.2 ) 3.26 (character) C (6.5, 7.1.4.1 ) 3.27 , (character, quoted) 3.144 3.28 , (character, unquoted) 3.194 3.29 (character-conversion mapping) , C 3.30 (choicepoint) KS X ISO/IEC 132111：2007 5 3.31 ( ) class (of an operator) (prefix), (in

7、fix), (postfix) 3.32 (clause) . (head) (body) . ISO/IEC . . . 3.33 (clause-term) T, T ( ：)/1 (6.2.1.2 ). 3.34 (collating sequence) C (6.6 ) 3.35 (complete database) 3.36 ( ) composition (of two substitutions) , 1 2 1 2 . t (t 1 ) 2 t 1 2 . 3.37 (compound term) N N , (arity) N 6.1.2 e), 7.1.5 3.38 (c

8、onfiguration) (target) , 3.39 (conforming processor) (5.1 ) 3.40 (conforming Prolog data) (5., 6.2.2 ) 3.41 (conforming Prolog text) (5., 6.2 ) KS X ISO/IEC 132111：2007 6 3.42 , (construct, control) 3.45 3.43 , (construct, list) 3.100 3.44 . (contain, to) T1 T2 T1 T2 T1 T2 . 3.45 (control construct)

9、 (7.8 ) 3.46 Conv c , C( ) (3.29, 7.4.2.5, 8.14.5 ) Conv c identity-mapping c . 1 char_conversion(In Out) identity-mapping c Conv c . 2 read_term/3(8.14.1) C apply-mapping c (C, Conv c ) . 3 Conv c Current_char_conversion/2 . 4 ( , JIS ) . (encoding) . 3.47 ( A B ) convert(from type A to type B) con

10、vert AB: A B U() . A B . . , (7.6), (3.29, 7.4.2.5, 8.14.5), (9.1.6) 3.48 , () copy, renamed (of a term) 3.150 () 3.49 CT 6.1.2 e), 7.1.5 KS X ISO/IEC 132111：2007 7 3.50 (cut) (cutparent) (7.7.2, 7.8.4 ) 3.51 , (data, conforming Prolog) 3.40 3.52 (database) (7.5 ) 3.53 , (database, complete) 3.35 3.

11、54 (data type) 3.55 , (data type, arithmetic) 3.8 3.56 (denormalized value) F F 3.57 (directive) , ：(D) D 3.58 (directive-term) T, T (：)/1 (6.2.1.1 ). 3.59 ( ) dynamic (of a procedure) (7.5.2 ) 3.60 , (effect, side) 3.157 3.61 ( ) element (of a list) . . KS X ISO/IEC 132111：2007 8 3.62 (empty list)

12、(nil) 3.63 (error) (7.12 ) 3.64 (evaluable functor) (7.9, 9. ) 3.65 (evaluate) . 3.66 (exceptional value) ：float_overflow, int_overflow, underflow, zero_divisor, undefined(7.9 ) evaluation_error(E). 3.67 (： ) execution(verb：to execute) (7.7.1 ) 3.68 (exponent bias) , 3.69 (expression) (8.6.1, 9. ) 3

13、.70 (extension) 3.71 F 6.1.2 d), 7.1.3 3.72 (fact) ( ：)/1 ( ：)/2 . KS X ISO/IEC 132111：2007 9 3.73 , (fail, to) . 3.74 (file name) * (ground) 3.75 (flag) (7.11 ) 3.76 (floating point value) F 6.1.2 d), 7.1.3 3.77 (functor) (arity) 3.78 (functor name) 3.79 , (function, rounding) 3.153 3.80 , (functor

14、, principal) 3.134 3.81 (goal) (, 7.7.3 ) 3.82 (ground term) . . 3.83 ( ) head (of a list) 3.84 ( ) head (of a rule) KS X ISO/IEC 132111：2007 10 3.85 (herbrand algorithm) MGU(most general unifier) (7.3.2 ) 3.86 I 6.1.2 c), 7.1.2 3.87 (identical terms) (6.1.2 ). 3.88 identifier , 3.89 iff (if and onl

15、y if) 3.90 (implementation defined) (5. ) 3.91 (implementation dependent) . 3.92 (implementation specific) , , STO(3.165) . 3.93 , (indicator, predicate) 3.131 3.94 (input/output mode) . read, write, append (8.11.5, 7.10.1.1 ). 3.95 ( ) instance (of a term) . t t t . KS X ISO/IEC 132111：2007 11 3.96

16、 (instantiated) . . 3.97 (integer value) I 6.1.2 c), 7.1.2 3.98 , (level, top) 3.185 3.99 (list) ： , a, X, 1, 2, _, a | b 3.100 (list constructor) /2 3.101 , (list, empty) 3.62 3.102 , (list, non-empty) 3.114 3.103 , (list, partial) 3.125 3.104 , (list, read-options) 3.147 3.105 , (list, write-optio

17、ns) 3.207 3.106 (mapping) M T , T (4.3 ) 3.107 , / (mode, input/output) KS X ISO/IEC 132111：2007 12 3.94 / 3.108 most general unifier(MGU) (MGU). MGU . 3.109 ( ) name (of atom) 6.1.2 b) 3.110 , (name, file) 3.74 3.111 , (name, functor) 3.78 3.112 , (name, predicate) 3.132 3.113 (named variable) 6.1.

18、2 a), 6.4.3 3.114 (non-empty list) 3.115 (normalized value) F F (7.1.3 ) 3.116 NSTO (Not subject to occurs-check)(7.3.3 ). 3.117 (null atom) 3.118 (number) 3.119 (one-char atom) KS X ISO/IEC 132111：2007 13 3.120 ( ) operand (of a compound term or(predication) () 3.121 () operand (of an operation) 3.

19、122 (operator) (prefix), (infix), (postfix) (6.3.4 ) 3.123 , (operator, predefined) 3.128 3.124 (options, stream) 3.167 3.125 (partial list) 8.5.3 . A, a |X, a, 2 | B 3.126 , (position, stream) 3.168 3.127 (precision) (digit) (7.1.3 ) 3.128 (predefined operator) 3.129 (predicate) (arity) 3.130 , (pr

20、edicate, built-in) 3.21 3.131 (predicate indicator) KS X ISO/IEC 132111：2007 14 A/N, A N (7.1.6.6 ) 3.132 (predicate name) 3.133 (predication) N N 3.134 (principal functor) F N F/N. 3.135 ( ) private (of a procedure) (clause). 3.136 (procedure) , , . . . 3.137 , (procedure, user-defined) 3.195 3.138

21、 (processor) 3.139 , (processor, conforming) 3.39 3.140 (Prolog data) (6.2.2 ) 3.141 (Prolog text) (6.2, 7.4 ) 3.142 ( ) public (of a procedure) . clause/2 (7.5.3, 8.8.1 ) 3.143 (query) KS X ISO/IEC 132111：2007 15 . 3.144 (quoted character) (back) , 6.4.2.1 , a bc 5 . (1) a, (2) , (3)b, (4) ( ), (5)

22、 c 3.145 (4.1.1 ) 3.146 (read-option) read_term/3(8.14.1) * (7.10.3 ) 3.147 (read-option list) 3.148 (red-term) (6.2.2, 6.4.8 ) 3.149 , (re-execute, to) (7.7.6, 7.7.8 ) 3.150 (renamed copy) (7.1.6.2 ) 3.151 , (retract, to) . 3.152 (rounding) , (9.1.3.1, 9.1.4.1 ) 3.153 (rounding function) ：rnd： X( X .) X . x y KS X ISO/IEC 132111：2007 16 x X rnd(x)x x y rnd(x) rnd(y) u X rnd(u) . 3.154 (rule) . . ( ：)/2 , . 3.155 , (satisfy, to) . 3.156 , (sequence, collating) 3.34 3.157 (side effect) (7.7.9 ) 3.158 (signature) . ： add I ：I X I I U int_overflow ( I X I )