GB8603266D0 - Calculating processing method - Google Patents

Calculating processing method

Info

Publication number: GB8603266D0
Authority: GB; United Kingdom
Prior art keywords: processing method; calculating processing; calculating; processing
Prior art date: 1985-03-15
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.)

1985-03-15

Filing date

1986-02-11

Publication date

1986-03-19

1986-02-11 Application filed by Hitachi Ltd filed Critical Hitachi Ltd

1986-03-19 Publication of GB8603266D0 publication Critical patent/GB8603266D0/en

1986-10-15 Publication of GB2173614A publication Critical patent/GB2173614A/en

1988-12-21 Application granted granted Critical

1988-12-21 Publication of GB2173614B publication Critical patent/GB2173614B/en

Status 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
DE3380643D1 (en) *	1982-06-21	1989-11-02	Ibm	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

1985
- 1985-03-15 JP JP60050425A patent/JPS61210432A/en active Pending
1986
- 1986-02-11 GB GB08603266A patent/GB2173614B/en not_active Expired
- 1986-02-12 FR FR8601907A patent/FR2578990B1/en not_active Expired - Lifetime

Also Published As

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

Similar Documents

Publication	Publication Date	Title
EP0202686A3 (en)	1990-04-25	Geometric processing system
GB8625502D0 (en)	1986-11-26	Information processing apparatus
GB8618121D0 (en)	1986-09-03	Silylation method
EP0223601A3 (en)	1988-10-05	Image processing method
GB8511602D0 (en)	1985-06-12	Food processing method
GB8613300D0 (en)	1986-07-09	Processing data
DE3562174D1 (en)	1988-05-26	Food processing method
GB8520823D0 (en)	1985-09-25	Processing apparatus
GB8408055D0 (en)	1984-05-10	Processing apparatus
GB8624797D0 (en)	1994-01-26	Thermoelectrochemical system & method
GB8529924D0 (en)	1986-01-15	Processing apparatus
EP0223150A3 (en)	1989-11-08	Information processing apparatus
GB8507606D0 (en)	1985-05-01	Process
GB2183375B (en)	1990-05-30	Information processing apparatus
GB8531766D0 (en)	1986-02-05	Block processing apparatus
GB8427546D0 (en)	1984-12-05	Processing
EP0226795A3 (en)	1990-04-11	Image processing method
GB2183067B (en)	1990-04-25	Data processing
GB8526061D0 (en)	1985-11-27	Data processing method
GB8603266D0 (en)	1986-03-19	Calculating processing method
EP0213594A3 (en)	1988-01-27	Polymerflood process
GB8614650D0 (en)	1986-07-23	Data processing method
GB8630183D0 (en)	1987-01-28	Processing method
GB8511168D0 (en)	1985-06-12	Process
GB8630577D0 (en)	1987-02-04	Data processing

Legal Events

Date	Code	Title	Description
1999-09-29	PCNP	Patent ceased through non-payment of renewal fee	Effective date: 19990211