Information Technology - Programming Languages - Prolog - Part 1: General Core (Adopted ISO/IEC 13211-1:1995, first edition, 1995-06-01)
Formats Available:
Online,Print
Receive a printed paperback book
Shipped via Canada Post
Receive a printed binder(s)
Shipped via Canada Post
Receive a printed hardcover book
Shipped via Canada Post
Receive access to an electronic copy viewable in a web browser or the Orderline Reader app (Click here to view a demo)
Orderline Reader app available for Windows, Mac, Android, and iOS (Click here to download)
Offline access via Orderline Reader app
Reflowable layout suitable for viewing on any device Orderline Reader app
Font-size controls
Text to speech
Built-in search feature
Google and Wikipedia lookup
Ability to add custom highlights, bookmarks, and notes
Can be registered on up to 3 personal devices total (example: computer, laptop, phone)
Receive access to an online PDF copy viewable in a web browser
Offline access via bookmark to a cached web page
Single user access on up to 3 devices
All online copies are watermarked with your license information
Receive access to an online course viewable in a web browser
Receive access to an online course viewable in a web browser
Receive access to an interactive online copy viewable in a web browser (Click here to view a demo)
Searchable
Printable
Expandable images
Drop-down definitions
Links
Receive access to an online webinar hosted through Zoom
Product Overview
CAN/CSA-ISO/IEC 13211-1-97 (R2015)
CSA Group
Information Technology - Programming Languages - Prolog - Part 1: General Core (Adopted ISO/IEC 13211-1:1995, first edition, 1995-06-01)
Total
As low as$237.00
More About This Product
Description
Technical corrigenda #1 and 2 to this standard are available. Scope ISO/IEC 13211 is designed to promote the applicability and portability of Prolog text and data among a variety of data processing systems. This part of ISO/IEC 13211 specifies: (a) The representation of Prolog text; (b) The syntax and constraints of the Prolog language; (c) The semantic rules for interpreting Prolog text; (d) The representation of input data to be processed by Prolog; (e) The representation of output produced by Prolog; and (f) The restrictions and limits imposed on a conforming Prolog processor. NOTE - This part of ISO/IEC 13211 does not specify: (a) the size or complexity of Prolog text that will exceed the capacity of any specific data processing system or language processor, or the actions to be taken when the corresponding limits are exceeded; (b) the minimal requirements of a data processing system that is capable of supporting an implementation of a Prolog processor; (c) the methods of activating the Prolog processor or the set of commands used to control the environment in which Prolog text is prepared for execution and executed; (d) the mechanism by which Prolog text is prepared for use by a data processing system; (e) the typographical representation of Prolog text published for human reading; (f) the user environment (top level loop, debugger, library system, editor, compiler, etc.) of a Prolog processor. This part of ISO/IEC 13211 is intended for use by implementors and knowledgeable programmers, and is not a tutorial. 1.1 Notes Notes in this part of ISO/IEC 13211 have no effect on the language, Prolog text or Prolog processors that are defined as conforming to this part of ISO/IEC 13211. Reasons for including a note include: (a) Cross references to other clauses and subclauses of this part of ISO/IEC 13211 in order to help readers find their way around; (b) Warnings when a built-in predicate as defined in this part of ISO/IEC 13211 has a different meaning in some existing implementations.
Technical corrigenda #1 and 2 to this standard are available. Scope ISO/IEC 13211 is designed to promote the applicability and portability of Prolog text and data among a variety of data processing systems. This part of ISO/IEC 13211 specifies: (a) The representation of Prolog text; (b) The syntax and constraints of the Prolog language; (c) The semantic rules for interpreting Prolog text; (d) The representation of input data to be processed by Prolog; (e) The representation of output produced by Prolog; and (f) The restrictions and limits imposed on a conforming Prolog processor. NOTE - This part of ISO/IEC 13211 does not specify: (a) the size or complexity of Prolog text that will exceed the capacity of any specific data processing system or language processor, or the actions to be taken when the corresponding limits are exceeded; (b) the minimal requirements of a data processing system that is capable of supporting an implementation of a Prolog processor; (c) the methods of activating the Prolog processor or the set of commands used to control the environment in which Prolog text is prepared for execution and executed; (d) the mechanism by which Prolog text is prepared for use by a data processing system; (e) the typographical representation of Prolog text published for human reading; (f) the user environment (top level loop, debugger, library system, editor, compiler, etc.) of a Prolog processor. This part of ISO/IEC 13211 is intended for use by implementors and knowledgeable programmers, and is not a tutorial. 1.1 Notes Notes in this part of ISO/IEC 13211 have no effect on the language, Prolog text or Prolog processors that are defined as conforming to this part of ISO/IEC 13211. Reasons for including a note include: (a) Cross references to other clauses and subclauses of this part of ISO/IEC 13211 in order to help readers find their way around; (b) Warnings when a built-in predicate as defined in this part of ISO/IEC 13211 has a different meaning in some existing implementations.