GB2173614B - Logic program processing method and system - Google Patents

Logic program processing method and system

Info

Publication number
GB2173614B
GB2173614B GB08603266A GB8603266A GB2173614B GB 2173614 B GB2173614 B GB 2173614B GB 08603266 A GB08603266 A GB 08603266A GB 8603266 A GB8603266 A GB 8603266A GB 2173614 B GB2173614 B GB 2173614B
Authority
GB
United Kingdom
Prior art keywords
processing method
program processing
logic program
logic
program
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.)
Expired
Application number
GB08603266A
Other versions
GB8603266D0 (en
GB2173614A (en
Inventor
Takeshi Chusho
Hirohide Haga
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 GB8603266D0 (en) 1986-03-19
GB2173614A GB2173614A (en) 1986-10-15
GB2173614B true 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
GB8603266D0 (en) 1986-03-19
FR2578990B1 (en) 1991-10-11
FR2578990A1 (en) 1986-09-19
GB2173614A (en) 1986-10-15
JPS61210432A (en) 1986-09-18

Similar Documents

Publication Publication Date Title
GB2151829B (en) Document processing system and method
EP0119395A3 (en) A system and method for text processing
GB2188871B (en) Systems and methods for processing mail
HK37394A (en) Process control systems and methods
EP0114248A3 (en) Complex pattern recognition method and system
IL82892A0 (en) System and method for parallel processing with mostly functional languages
EP0199989A3 (en) Method and system for image processing
EP0183556A3 (en) Immunopotentiating agents and method
EP0222370A3 (en) Method and system for program loading
EP0293701A3 (en) Parallel neighborhood processing system and method
EP0244805A3 (en) Method of sorting goods and system therefor
EP0225603A3 (en) Distributed processing system and method
EP0205908A3 (en) Method and system for smooth-scrolling
EP0248287A3 (en) Data processing system and method for the direct and indirect execution of uniformly structured object types
GB2184696B (en) Systems and methods for processing mail
EP0219347A3 (en) Weighing method and system
HUT42233A (en) Method for treating sowing-seeds and sowing-seeds having improved features
GB2271665B (en) Thermoelectrochemical system and method
DE3560030D1 (en) Milling process and milling device
EP0168827A3 (en) Data processing method and apparatus
EP0195587A3 (en) Parallel call processing system and method
DE3666885D1 (en) Exposing system and method
EP0168054A3 (en) Data processing control method and data processing system suitable therefor
EP0239269A3 (en) Image processing method and system
EP0265280A3 (en) Machine translation system and method

Legal Events

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

Effective date: 19990211