BS ISO IEC 13211-2-2000 Information technology - Programming languages - Prolog - Modules《信息技术 程序设计语言 PROLOG 模数》.pdf

1、| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | BRITISH STANDARD BS ISO/IEC 13211-2:2000 I

2、CS 35.060 NO COPYING WITHOUT BSI PERMISSION EXCEPT AS PERMITTED BY COPYRIGHT LAW Information technology Programming languages Prolog Part 2: ModulesThis British Standard, having been prepared under the direction of the DISC Board, was published under the authority of the Standards Committee and come

3、s into effect on 15 November 2000 BSI 11-2000 ISBN 0 580 36677 4 BS ISO/IEC 13211-2:2000 Amendments issued since publication Amd. No. Date Comments National foreword This British Standard reproduces verbatim ISO/IEC 13211-2:2000 and implements it as the UK national standard. The UK participation in

4、its preparation was entrusted to Technical Committee IST/5, Programming languages, Their Environments and System Software, which has the responsibility to: aid enquirers to understand the text; present to the responsible international/European committee any enquiries on the interpretation, or propos

5、als for change, and keep the UK interests informed; monitor related international and European developments and promulgate them in the UK. A list of organizations represented on this committee can be obtained on request to its secretary. Cross-references The British Standards which implement interna

6、tional or European publications referred to in this document may be found in the BSI Standards Catalogue under the section entitled “International Standards Correspondence Index”, or by using the “Find” facility of the BSI Standards Electronic Catalogue. A British Standard does not purport to includ

7、e all the necessary provisions of a contract. Users of British Standards are responsible for their correct application. Compliance with a British Standard does not of itself confer immunity from legal obligations. Summary of pages This document comprises a front cover, an inside front cover, the ISO

8、/IEC title page, pages ii to vi, pages 1 to 23 and a back cover. The BSI copyright notice displayed in this document indicates when the document was last issued.Referencenumber ISO/IEC13211-2:2000(E) INTERNATIONAL STANDARD ISO/IEC 13211-2 Firstedition 2000-06-01 InformationtechnologyProgramming languagesProlog Part2: Modules Technologies de linformation Langages de programmation Prolog Partie 2: Modules