GB8603266D0 - Calculating processing method - Google Patents

Calculating processing method

Info

Publication number
GB8603266D0
GB8603266D0 GB868603266A GB8603266A GB8603266D0 GB 8603266 D0 GB8603266 D0 GB 8603266D0 GB 868603266 A GB868603266 A GB 868603266A GB 8603266 A GB8603266 A GB 8603266A GB 8603266 D0 GB8603266 D0 GB 8603266D0
Authority
GB
United Kingdom
Prior art keywords
processing method
calculating processing
calculating
processing
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Granted
Application number
GB868603266A
Other versions
GB2173614B (en
GB2173614A (en
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Hitachi Ltd
Original Assignee
Hitachi Ltd
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Hitachi Ltd filed Critical Hitachi Ltd
Publication of GB8603266D0 publication Critical patent/GB8603266D0/en
Publication of GB2173614A publication Critical patent/GB2173614A/en
Application granted granted Critical
Publication of GB2173614B publication Critical patent/GB2173614B/en
Expired legal-status Critical Current

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/30—Creation or generation of source code
    • G06F8/31—Programming languages or programming paradigms
    • G06F8/313—Logic programming, e.g. PROLOG programming language
    • G06F8/3135—Unification or backtracking

Landscapes

  • Engineering & Computer Science (AREA)
  • Software Systems (AREA)
  • Computing Systems (AREA)
  • General Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Devices For Executing Special Programs (AREA)
GB08603266A 1985-03-15 1986-02-11 Logic program processing method and system Expired GB2173614B (en)

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP60050425A JPS61210432A (en) 1985-03-15 1985-03-15 Calculation processing system

Publications (3)

Publication Number Publication Date
GB8603266D0 true GB8603266D0 (en) 1986-03-19
GB2173614A GB2173614A (en) 1986-10-15
GB2173614B GB2173614B (en) 1988-12-21

Family

ID=12858510

Family Applications (1)

Application Number Title Priority Date Filing Date
GB08603266A Expired GB2173614B (en) 1985-03-15 1986-02-11 Logic program processing method and system

Country Status (3)

Country Link
JP (1) JPS61210432A (en)
FR (1) FR2578990B1 (en)
GB (1) GB2173614B (en)

Families Citing this family (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
DE3616740A1 (en) * 1986-05-17 1987-11-19 Heidenhain Gmbh Dr Johannes DEVICE FOR OBTAINING WORKPIECE CONTOURS

Family Cites Families (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
GB2060225B (en) * 1979-09-29 1983-05-25 Plessey Co Ltd Multi-programming data processing system process suspension
EP0097239B1 (en) * 1982-06-21 1989-09-27 International Business Machines Corporation Method and apparatus for restoring data in a computing system
US4734848A (en) * 1984-07-17 1988-03-29 Hitachi, Ltd. Combination reduction processing method and apparatus

Also Published As

Publication number Publication date
FR2578990B1 (en) 1991-10-11
FR2578990A1 (en) 1986-09-19
GB2173614B (en) 1988-12-21
GB2173614A (en) 1986-10-15
JPS61210432A (en) 1986-09-18

Similar Documents

Publication Publication Date Title
EP0202686A3 (en) Geometric processing system
GB8625502D0 (en) Information processing apparatus
GB8618121D0 (en) Silylation method
EP0223601A3 (en) Image processing method
GB8511602D0 (en) Food processing method
GB8613300D0 (en) Processing data
DE3562174D1 (en) Food processing method
GB8520823D0 (en) Processing apparatus
GB8408055D0 (en) Processing apparatus
GB8624797D0 (en) Thermoelectrochemical system & method
GB8529924D0 (en) Processing apparatus
EP0223150A3 (en) Information processing apparatus
GB8507606D0 (en) Process
GB2183375B (en) Information processing apparatus
GB8531766D0 (en) Block processing apparatus
GB8427546D0 (en) Processing
EP0226795A3 (en) Image processing method
GB2183067B (en) Data processing
GB8526061D0 (en) Data processing method
GB8603266D0 (en) Calculating processing method
EP0213594A3 (en) Polymerflood process
GB8614650D0 (en) Data processing method
GB8630183D0 (en) Processing method
GB8511168D0 (en) Process
GB8630577D0 (en) Data processing

Legal Events

Date Code Title Description
PCNP Patent ceased through non-payment of renewal fee

Effective date: 19990211