DOCSLIB.ORG

ICE - Contract Symbol Specification of Instrument Naming Convention 26 March 2020 [CONFIDENTIAL]

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
ICE - Contract Symbol Specification of Instrument Naming Convention 26 March 2020 [CONFIDENTIAL] ICE - Contract Symbol Specification of Instrument Naming Convention 26 March 2020 [CONFIDENTIAL] Introduction: ICE Instrument Naming Convention...........................................3 1. Contract Symbol Structure..........................................................................3 1.1. Contract Code .....................................................................................................4 1.2. Contract Type......................................................................................................4 1.3. Term....................................................................................................................4 1.4. Month ..................................................................................................................6 1.5. Day......................................................................................................................6 1.6. Year.....................................................................................................................7 1.7. Switch Character .................................................................................................7 1.8. Market Identifier Code (MIC)................................................................................7 1.8.1. Exclamation Point ..........................................................................................7 1.8.2. Period ............................................................................................................8 1.8.3. Hyphen ..........................................................................................................9 1.8.4. “c” Combo....................................................................................................10 1.8.5. Underscore ..................................................................................................10 1.8.5.1. Option Block........................................................................................................ 11 1.8.5.2. Index Block ......................................................................................................... 12 1.8.5.3. Minute Marker Block ........................................................................................... 13 1.8.5.4. Trade at Settlement (TAS) Block ........................................................................ 14 1.8.5.5. Trade at Auction (TAA) Block ............................................................................. 14 1.8.5.6. Host..................................................................................................................... 15 1.8.5.7. Trade at Index Close (TIC) ................................................................................. 15 1.8.5.8. Block at Index Close (BIC).................................................................................. 16 1.8.5.9. Rate Block........................................................................................................... 16 1.8.5.10. Trade at Platts Settlement (TAP) Block .............................................................. 17 1.8.5.11. Brent and Gasoil Floating Minute Marker ........................................................... 17 1.8.5.12. Brent Expiry Only Minute Marker........................................................................ 18 1.8.6. More on Packs and Bundles ........................................................................18 2. Parsing the Contract Symbol ....................................................................19 3. Contract Terms...........................................................................................20 4. Making Prices in Energy Seasons ............................................................20 5. New Strategy Contract Symbol.................................................................21 Intercontinental Exchange Specification of Instrument Naming Convention | v 10.8 | 26 Mar 2020 © 2020 Intercontinental Exchange, Inc. [CONFIDENTIAL] Revision History Version Date Description v.5 05/01/2006 Initial Document v.6 04/21/2008 Updates to Options v.7 05/01/2008 Minor edits after review v.8 07/07/2008 Minor edits after first file output, refinement of functional gaps (RJ Cummings) v8.3 03/18/2009 Additional updates to Options v 8.3 09/16/2009 Additional updates for Same Day & Next Day Options and Glacier Lots for Henry v 8.5 01/01/2010 Added Auction Block to Underscore section 1.7.5 v8.6 01/01/2010 Document formatting changes v8.7 04/01/2010 Updated Contract Codes section to reflect Balance of Month contract changes v8.8 05/01/2010 Updated the Underscore section to show the _H as hosted markets. v8.9 09/01/2010 Updated options section to account for “Z” as an Asian style option v9 03/01/2013 Updated 1.7.5 Underscore section & 1.7.5.8 to include _Y indicator for Russell TIC v9.1 09/01/2013 Updated to reflect additional Exchange Code identifiers, as well as support for Packs and Bundles of LIFFE Financial products. v9.2 09/01/2013 Document cleanup and additional minor edits v9.3 01/01/2014 Updated to reflect a difference in the way MICs should be supported in the symbol Removal of hosted exchange portion of contract symbol. Replaced with MIC Removal of contract type “ that is no longer supported v9.4 02/01/2014 Updated section 1.3 for pack and bundle symbols Updated section 1.7 Market Identifier Code to highlight that MIC is not supported as part of the contract symbol in any of the API interfaces. v9.4.1 05/01/2014 Updated section 1.8.5 and 1.8.5.8. with New _B (BIC or Block @ Index close) v9.5 06/01/2014 Updated section 1.2 with new terms for Equity Derivative products v9.6 06/01/2014 Updated section 1.8.5.1 Option Block (styles) to include 'One Time' v9.6.1 09/01/2014 Minor update to intro to highlight that some equity products will not meet the minimum contract symbol structure. v9.7 01/01/2015 Updated section 1.2 Contract Type to account for Credit Default Swaps, and Interest Rate Swaps Updated section 1.3 Term to support CDS and IRS Tenor Added section 1.8.5.9 Rate Block v9.7.1 03/01/2015 Updated section 1.8.5 to include “N” as the identifier of a negative rate Updated section 1.8.5.9 Rate Block to include example of a negative rate v9.7.2 08/01/2015 Included note about the inclusion of “????” for some contract symbols that are disseminated via FIX Trade Capture. Added support for Trade at Platts Settlement in section 1.8.5 and 1.8.5.10 v9.8 03/01/2016 New Strategy Contract Symbol v9.8.1 05/01/2016 Added a clearer description for Contract Symbol uniqueness in the Introduction to point out that the codes are unique per MIC. Similarly, clarification was added to section 1.7 MIC Code as well. v9.9 01/01/2017 Added new contract code (J) for the larger sized power (s2f) contracts and new term/strategy (K)-Basket, used for emissions. Intercontinental Exchange Specification of Instrument Naming Convention | v 10.8 | 26 Mar 2020 © 2020 Intercontinental Exchange, Inc. [CONFIDENTIAL] v10 08/01/2017 Added new terms for Spot, Tom, Next Saturday and Sunday strips v10.1 11/01/2017 Add note around the usage of hyphen switch character. Switch character - does indicate spread, however when presence of _O it represents negative strike and see suggested Parsing of symbol v10.2 11/01/2017 Additional strips added to the C term v10.3 12/01/2017 Updated section 1.8.5.1 to include additional supported option types: Q- Quarter, S - Season, Y - Calendar Year v10.4 08/28/2018 Update to markers symbol characters section 1.8.5.3 to support additional expiry only markers V10.4 08/28/2018 Update to new ICE document template, minor edits, and minor formatting V10.5 03/21/2019 Updated section 1.8.5 with _ME1 (Brent and Gasoil floating minute markers to support changes in Platts settlement times around Christmas and New Years and MX1 (Brent expiry only minute markers to support changes in the calculation of the Brent Index. V10.6 08/21/2019 Updated section 1.2 to reflect that Term J is for Large Sized Flow V10.7 11/15/2019 Replace 'S' with 'V' for ‘Variable (season)’ to reflect current behavior and rename table heading to ‘Option Term’ under Option Block Section 1.8.5.1 Add H for Hourly term in Section 1.3 V10.8 03/26/2020 Add ‘C’ Contract type for Cash Stock in Section 1.2 Intercontinental Exchange Specification of Instrument Naming Convention | v 10.8 | 26 Mar 2020 © 2020 Intercontinental Exchange, Inc. [CONFIDENTIAL] Introduction: ICE Instrument Naming Convention The IntercontinentalExchange supports the generation and dissemination of ICE’s individual markets to a unique instrument code (symbol), within a given MIC Code1. This document details the format that is used to generate contract symbols and should be used by consumers of this data to determine how to decompose the symbol. These contract symbols are available in the exchanges’ ICE API Interfaces as a field that is available on Security Definition data, and in the case of the FIX Trade Capture API interface, is additionally provided on the Trade Capture Report message. While the intent is to ultimately generate and provide contract symbols for all ICE markets it should be noted that some bilaterally traded, and contracts that update intraday currently do not support contract symbols. 1. Contract Symbol Structure The following table sets out the basic structure of the contract symbol sent down with the market’s static data upon login. Every contract, except some of the equity products will support, at a minimum, this initial contract symbol. The contract symbol can increase, given a
Load more

Recommended publications
  • David Michehl Subject
    MEMORANDUM To: File No. S7-26-15 From: David Michehl Subject: Summary of meeting with representatives from SWIFT Date: January 28, 2016 On January 28, 2016, representatives from the Securities and Exchange Commission’s Division of Trading and Markets (Michael Gaw, Tom Eady, Yvonne Fraticelli, David Michehl, Kathleen Gross, Sarah Albertson, and Justin Pica) and Division of Economic and Risk Analysis (Narahari Phatak, Burt Porter, Walter Hamscher, Hermine Wong, Yee Loon, Mike Willis) met with Paul Janssens (SWIFT). The SWIFT representative discussed issues relating to the use of ISO 20022. In addition, Mr. Janssens provided the staff with an information paper related to ISO 20022. Information paper Standards – A Value Proposition for Regulators Contents About Standards .....................................................................................................3 About SWIFT & Standards .....................................................................................4 Standards & Regulation .........................................................................................6 About ISO 20022 .....................................................................................................8 ISO 20022 & Regional/Global Adoption ................................................................9 Conclusion ............................................................................................................11 3 Standards – A Value Proposition for Regulators About Standards Norms, models, rules, measures, Rather less obvious
    [Show full text]
  • Basic Facts About Trademarks United States Patent and Trademark O Ce
    Protecting Your Trademark ENHANCING YOUR RIGHTS THROUGH FEDERAL REGISTRATION Basic Facts About Trademarks United States Patent and Trademark O ce Published on February 2020 Our website resources For general information and links to Frequently trademark Asked Questions, processing timelines, the Trademark NEW [2] basics Manual of Examining Procedure (TMEP) , and FILERS the Acceptable Identification of Goods and Services Manual (ID Manual)[3]. Protecting Your Trademark Trademark Information Network (TMIN) Videos[4] Enhancing Your Rights Through Federal Registration Tools TESS Search pending and registered marks using the Trademark Electronic Search System (TESS)[5]. File applications and other documents online using the TEAS Trademark Electronic Application System (TEAS)[6]. Check the status of an application and view and TSDR download application and registration records using Trademark Status and Document Retrieval (TSDR)[7]. Transfer (assign) ownership of a mark to another ASSIGNMENTS entity or change the owner name and search the Assignments database[8]. Visit the Trademark Trial and Appeal Board (TTAB)[9] TTAB online. United States Patent and Trademark Office An Agency of the United States Department of Commerce UNITED STATES PATENT AND TRADEMARK OFFICE BASIC FACTS ABOUT TRADEMARKS CONTENTS MEET THE USPTO ������������������������������������������������������������������������������������������������������������������������������������������������������������������ 1 TRADEMARK, COPYRIGHT, OR PATENT ��������������������������������������������������������������������������������������������������������������������������
    [Show full text]
  • An Architecture for Making Object-Oriented Systems Available from Prolog
    An Architecture for Making Object-Oriented Systems Available from Prolog Jan Wielemaker and Anjo Anjewierden Social Science Informatics (SWI), University of Amsterdam, Roetersstraat 15, 1018 WB Amsterdam, The Netherlands, {jan,anjo}@swi.psy.uva.nl August 2, 2002 Abstract It is next to impossible to develop real-life applications in just pure Prolog. With XPCE [5] we realised a mechanism for integrating Prolog with an external object-oriented system that turns this OO system into a natural extension to Prolog. We describe the design and how it can be applied to other external OO systems. 1 Introduction A wealth of functionality is available in object-oriented systems and libraries. This paper addresses the issue of how such libraries can be made available in Prolog, in particular libraries for creating user interfaces. Almost any modern Prolog system can call routines in C and be called from C (or other impera- tive languages). Also, most systems provide ready-to-use libraries to handle network communication. These primitives are used to build bridges between Prolog and external libraries for (graphical) user- interfacing (GUIs), connecting to databases, embedding in (web-)servers, etc. Some, especially most GUI systems, are object-oriented (OO). The rest of this paper concentrates on GUIs, though the argu- ments apply to other systems too. GUIs consist of a large set of entities such as windows and controls that define a large number of operations. These operations often involve destructive state changes and the behaviour of GUI components normally involves handling spontaneous input in the form of events. OO techniques are very well suited to handle this complexity.
    [Show full text]
  • 18Th ABMF Agenda
    28th ASEAN+3 Bond Market Forum (ABMF) Meeting And relevant meetings 18-21 June 2018 / Seinan Gakuin University, Fukuoka City, Japan DAY 3 – 20 June 2018 Venue: Multi-Purpose Hall, 1st Floor, Centennial Hall TIME PROGRAM ABMF Sub Forum 2 (SF2) Meeting 08:30 – 09:00 Registration 09:00 – 09:05 Opening Remarks by Mr. Seung-Kwon Lee, SF2 Chair Session 12: RegTech in US 09:05 – 09:40 by Mr. Hudson Hollister, Data Transparency Coalition (DTC) via Webex - Financial Transparency Act in US Session 13: Enhanced Supervisions and Surveillance with Technology by Mr. Lim Kok Eng, Analytics Department, Securities Commission Malaysia 09:40 – 10:20 - XBRL submission platform - Web crawling robots - Artificial Intelligence for sentiment and text mining capability 10:20 – 10:45 Coffee break Session 14: Panel Discussion: Global trends in data collection and standardization for more structured data - What are the drivers of the trends? What are benefits and costs of building structured data environment? - What needs to be standardized (ISO 20022, XBRL, LEI, ISIN, CFI, etc)? - How can we standardize? What is the role of international body? - What does Asia need to understand and prepare? 10:45 – 12:15 Panelist: Mr. Francois Laurent, European Central Bank, ISO TC68 Mr. Masayuki Tagai, JP Morgan, ISO 20022 RMG Vice Convener Mr. Yoshiaki Wada, NTT Data, Chair of XBRL Asia Round Table Mr. Beju Shah, Bank of England Ms. Meiko Morioka, SWIFT Moderator: ADB 12:15 – 12:25 Wrap-up by ADB Secretariat 12:25 – 12:30 Closing Remarks by Mr. Seung-Kwon Lee, SF2 Chair 12:30 – 13:30 Lunch Farewell Dinner, Café d' Erte, 3rd floor, Hotel Clio Court Hakata, 18:30 – 20:30 5-3 Hakataekichuogai , Hakataku, Hakata, 812-0012 Fukuoka RegTech in the United States Hudson Hollister, Executive Director, Data Coalition @hudsonhollister What is RegTech? “RegTech” refers to technological solutions that perform one of the following functions: ● Automate regulatory compliance or regulatory reporting tasks.
    [Show full text]
  • Double Volume Cap Mechanism: the Impact on EU Equity Markets 
    ESMA Working Paper No. 3, 2020 DVC mechanism: The impact on EU equity markets Claudia Guagliano, Cyrille Guillaumie, Paul Reiche, Alessandro Spolaore and Arianna Zanon September 2020| ESMA/2020/ WP-2020-3 ESMA Working Paper No. 3, 2020 2 ESMA Working Paper, No. 3, 2020 Authors: Claudia Guagliano, Cyrille Guillaumie, Paul Reiche, Alessandro Spolaore and Arianna Zanon Authorisation: This Working Paper has been approved for publication by the Selection Committee and reviewed by the Scientific Committee of ESMA. © European Securities and Markets Authority, Paris, 2020. All rights reserved. Brief excerpts may be reproduced or translated provided the source is cited adequately. Legal reference of this Report: Regulation (EU) No 1095/2010 of the European Parliament and of the Council of 24 November 2010 establishing a European Supervisory Authority (European Securities and Markets Authority), amending Decision No 716/2009/EC and repealing Commission Decision 2009/77/EC, Article 32 “Assessment of market developments”, 1. “The Authority shall monitor and assess market developments in the area of its competence and, where necessary, inform the European Supervisory Authority (European Banking Authority), and the European Supervisory Authority (European Insurance and Occupational Pensions Authority), the ESRB and the European Parliament, the Council and the Commission about the relevant micro- prudential trends, potential risks and vulnerabilities. The Authority shall include in its assessments an economic analysis of the markets in which financial market participants operate, and an assessment of the impact of potential market developments on such financial market participants.” The charts and analyses in this report are, fully or in parts, based on data not proprietary to ESMA, including from commercial data providers and public authorities.
    [Show full text]
  • Identifiers Documentation
    identifiers Documentation Release 0.4.1 Michael Amrhein Dec 11, 2020 Contents 1 Overview 3 1.1 Identifiers standardized by GS1.....................................3 1.2 Identifiers for publications........................................3 1.3 Identifiers for banks and bank accounts.................................4 1.4 Identifiers for exchanges and exchange traded financial assets.....................4 1.5 Identifiers for Value Added Taxation...................................4 2 Common Features 5 3 Identifiers standardized by GS17 4 Identifiers for publications 15 5 Identifiers for banks and bank accounts 19 6 Identifiers for exchanges and exchange traded financial assets 23 7 European Union VAT Registration Number 25 Python Module Index 27 Index 29 i ii identifiers Documentation, Release 0.4.1 This package provides classes that can be used to create and check identifiers for unique objects or unique classes of objects according to international standards. Definition from Wikipedia: “An identifier is a name that identifies (that is, labels the identity of) either a unique object or a unique class of objects, where the “object” or class may be an idea, physical [countable] object (or class thereof), or physical [noncountable] substance (or class thereof). The abbreviation ID often refers to identity, identification (the process of identifying), or an identifier (that is, an instance of identification). An identifier may be a word, number, letter, symbol, or any combination of those.” Contents: Contents 1 identifiers Documentation, Release 0.4.1 2 Contents CHAPTER 1 Overview 1.1 Identifiers standardized by GS1 See http://www.gs1.org/id-keys. • Global Trade Item Number (GTIN) Used to identify products and services. Variants: GTIN12, GTIN13, GTIN14 • Global Location Number (GLN) Used to identify parties and locations, for example companies, warehouses, factories and stores.
    [Show full text]
  • Relativity Searching Guide
    Searching Guide March 16, 2021 | Version 10.0.318.5 For the most recent version of this document, visit our documentation website. Table of Contents 1 Searching overview 7 2 Filters 9 2.1 Showing and hiding filters in the item list 9 2.2 Setting a filter 10 2.3 Filter types 12 2.3.1 Using Boolean filters 12 2.3.2 Using numeric filters for numbers 13 2.3.3 Using List filters 14 2.3.4 Using date filters 16 2.3.5 Using multilist filters 17 2.3.6 Using textbox filters 19 2.3.7 Textbox filter search examples 20 2.3.8 Using advanced textbox filtering 22 2.4 Changing item sets per page 23 2.5 Saving filters as a search 24 3 Keyword search 25 3.1 Fields 25 3.2 Example keyword search strings 26 3.3 Using the NOT operator in keyword searches 26 3.4 Understanding stop words 27 3.4.1 Keyword search stop words - without double quotes 27 3.4.2 Keyword search stop words - with double quotes 27 3.4.3 Single letters as stop words 28 3.4.4 Single digits as stop words 28 3.4.5 Punctuation as stop words 28 3.4.6 At sign (@) and dashes 28 3.4.7 Hyphens and dashes 29 3.4.8 Default stop word list 29 3.5 Running a keyword search 30 Searching Guide 2 3.5.1 Running a keyword search in the search panel 30 3.5.2 Running a keyword search in the Search browser 30 4 Search panel 31 4.1 Expanding and collapsing the search panel 31 4.2 Using the auto-run search setting 31 4.3 Creating a search in the search panel 32 4.4 Applying logic groups to search conditions 33 4.5 Customizing the search panel 35 5 Search conditions 36 5.1 Setting up search conditions 36 5.1.1 Setting
    [Show full text]
  • DOC: Advent Portfolio Exchange Release 3
    Public SQL Views in Advent Portfolio Exchange Release 3 CONFIDENTIAL — DO NOT DISTRIBUTE NOTICE The software described in this document is furnished under a license agreement. The software may be used or copied only in accordance with the terms of the agreement. No part of this document may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopying and recording, for any purpose without the express written permission of Advent Software, Inc. Information in this document may be revised from time to time without notice. This document, which is provided solely to Licensees of Advent Software, Inc., is confidential and proprietary. U.S. Government Users: Use, duplication, or disclosure is subject to the restrictions as set forth in the Rights in Technical Data and Computer Software clause at DFARS 252.227-7013 subparagraph (c)(1)(ii), or the Commercial Computer Software -- Restricted Rights at CFR 52.227-19, subparagraphs (c)(1) and (2), as applicable. Manufacturer is Advent Software, Inc. 600 Townsend Street, San Francisco, CA 94103 Copyright 2011 by Advent Software, Inc. All rights reserved. NOTE: All names of individuals that may appear in any displays herein are fictitious. Any similarity to the names of any persons living or dead is unintentional and strictly coincidental. Part number: APXSQL3U2b Release number: Advent Portfolio Exchange Release 3 Publication date: February 2011 Advent, the Advent logo, Advent Browser Reporting, Advent Corporate Actions, Advent INX, Advent Office, AdventOnDemand, Advent Packager, Advent Partner, Advent Portfolio Exchange, Advent Revenue Center, Advent Rules Manager, Advent Software, Inc., Advent TrustedNetwork, Advent Warehouse, Axys, Geneva, Moxy, MyAdvent, Portfolio Exchange, Qube, Rex, SmartClick, and WealthLine are registered trademarks of Advent Software, Inc.
    [Show full text]
  • Global Equity Data Fundamentals Confidential
    Morningstar, Inc. Global Equity Data Fundamentals Confidential Global Equity Data User’s Definitions Operational page 2 Profile page 6 Proprietary page 8 Ratios page 12 Valuation page 18 Raw Fundamentals Income Statement page 21 Balance Sheet page 43 Cash Flow page 71 Earnings Report/EPS and Share page 90 TTM page 92 Price/Returns page 92 Alpha/Beta page 96 Statistics page 97 Currency Exchange page 98 Corporate Calendar page 99 Ownership/Short Interest page 99 Ownership Detail page 101 Insider Trading Activities page 101 Corporate Actions page 103 Executive Insight page 108 Consensus Recommendations page 113 Consensus Estimates page 114 Say on Pay page 120 Voting Report page 121 Quantitative Data page 122 Questions: 1-800-775-8118 or [email protected] 1 Morningstar, Inc. Global Equity Data Fundamentals Confidential Operational CompanyId (1) 10-digit unique and unchanging Morningstar identifier assigned to every company. ShortName (2) 25-character max abbreviated name of the firm. In most cases, the short name will simply be the Legal Name less the “Corporation”, “Corp.”, “Inc.”, “Incorporated”, etc… StandardName (3) The English translation of the foreign legal name if/when applicable. LegalName (4) The full name of the registrant as specified in its charter, and most often found on the front cover of the 10K/10Q/20F filing. CountryId (5) 3 Character ISO code of the country where the firm is domiciled. See separate reference document for Country Mappings. CIK (6) The Central Index Key; a corporate identifier assigned by the Securities and Exchange Commission (SEC). CompanyStatus (9) At the Company level; each company is assigned to 1 of 3 possible status classifications; (U) Public, (V) Private, or (O) Obsolete: Public-Firm is operating and currently has at least one common share class that is currently trading on a public exchange.
    [Show full text]
  • HTML Format for Rfcs
    Internet Architecture Board (IAB) J. Hildebrand, Editor Request for Comments: 7992 Mozilla Category: Informational P. Hoffman ISSN: 2070-1721 ICANN December 2016 HTML Format for RFCs Abstract In order to meet the evolving needs of the Internet community, the canonical format for RFCs is changing from a plain-text, ASCII-only format to an XML format that will, in turn, be rendered into several publication formats. This document defines the HTML format that will be rendered for an RFC or Internet-Draft. Status of this Memo This document is not an Internet Standards Track specification; it is published for informational purposes. This document is a product of the Internet Architecture Board (IAB) and represents information that the IAB has deemed valuable to provide for permanent record. It represents the consensus of the Internet Architecture Board (IAB). Documents approved for publication by the IAB are not a candidate for any level of Internet Standard; see Section 2 of RFC 78411. Information about the current status of this document, any errata, and how to provide feedback on it may be obtained at http://www.rfc-editor.org/info/rfc79922. Copyright Notice Copyright (c) 2016 IETF Trust and the persons identified as the document authors. All rights reserved. This document is subject to BCP 78 and the IETF Trust's Legal Provisions Relating to IETF Documents (http://trustee.ietf.org/license-info3) in effect on the date of publication of this document. Please review these documents carefully, as they describe your rights and restrictions with
    [Show full text]
  • Prolog Programming a First Course
    Prolog Programming A First Course Paul Brna March 5, 2001 Abstract The course for which these notes are designed is intended for undergraduate students who have some programming experience and may even have written a few programs in Prolog. They are not assumed to have had any formal course in either propositional or predicate logic. At the end of the course, the students should have enough familiarity with Prolog to be able to pursue any undergraduate course which makes use of Prolog. This is a rather ambitious undertaking for a course of only twelve lectures so the lectures are supplemented with exercises and small practical projects wherever possible. The Prolog implementation used is SICStus Prolog which is closely mod- elled on Quintus Prolog (SICS is the Swedish Institute of Computer Science). The reference manual should also be available for consultation [SICStus, 1988]. °c Paul Brna 1988 Contents 1 Introduction 1 1.1 Declarative vs Procedural Programming . 1 1.2 What Kind of Logic? . 1 1.3 A Warning . 2 1.4 A Request . 2 2 Knowledge Representation 3 2.1 Propositional Calculus . 3 2.2 First Order Predicate Calculus . 4 2.3 We Turn to Prolog ....................... 5 2.4 Prolog Constants . 7 2.5 Goals and Clauses . 8 2.6 Multiple Clauses . 8 2.7 Rules . 9 2.8 Semantics . 10 2.9 The Logical Variable . 11 2.10 Rules and Conjunctions . 12 2.11 Rules and Disjunctions . 13 2.12 Both Disjunctions and Conjunctions . 14 2.13 What You Should Be Able To Do . 15 3 Prolog’s Search Strategy 16 3.1 Queries and Disjunctions .
    [Show full text]
  • SAP Enhancement Package 7 for SAP ERP 6.0, SAP® What's New? – Release Notes
    Release Notes for SAP enhancement package 7 for SAP ERP 6.0, SAP® What's New? – Release Notes Copyright © Copyright 2012 SAP AG. All rights reserved. Document classification: CUSTOMER No part of this publication may be reproduced or transmitted in any form or for any purpose without the express permission of SAP AG. The information contained herein may be changed without prior notice. No part of this publication may be reproduced or transmitted in any form or for any purpose without the express permission of SAP AG. The information contained herein may be changed without prior notice. Some software products marketed by SAP AG and its distributors contain proprietary software components of other software vendors. Microsoft, Windows, Excel, Outlook, PowerPoint, Silverlight, and Visual Studio are registered trademarks of Microsoft Corporation. IBM, DB2, DB2 Universal Database, System i, System i5, System p, System p5, System x, System z, System z10, z10, z/VM, z/OS, OS/390, zEnterprise, PowerVM, Power Architecture, Power Systems, POWER7, POWER6+, POWER6, POWER, PowerHA, pureScale, PowerPC, BladeCenter, System Storage, Storwize, XIV, GPFS, HACMP, RETAIN, DB2 Connect, RACF, Redbooks, OS/2, AIX, Intelligent Miner, WebSphere, Tivoli, Informix, and Smarter Planet are trademarks or registered trademarks of IBM Corporation. Linux is the registered trademark of Linus Torvalds in the United States and other countries. Adobe, the Adobe logo, Acrobat, PostScript, and Reader are trademarks or registered trademarks of Adobe Systems Incorporated in the United States and other countries. Oracle and Java are registered trademarks of Oracle and its affiliates. UNIX, X/Open, OSF/1, and Motif are registered trademarks of the Open Group.
    [Show full text]