DE3670162D1 - Verfahren und system zur verarbeitung von logischen programmen. - Google Patents
Verfahren und system zur verarbeitung von logischen programmen.Info
- Publication number
- DE3670162D1 DE3670162D1 DE8686109342T DE3670162T DE3670162D1 DE 3670162 D1 DE3670162 D1 DE 3670162D1 DE 8686109342 T DE8686109342 T DE 8686109342T DE 3670162 T DE3670162 T DE 3670162T DE 3670162 D1 DE3670162 D1 DE 3670162D1
- Authority
- DE
- Germany
- Prior art keywords
- called
- father
- son
- parallel
- variables
- 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 - Fee Related
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
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F9/00—Arrangements for program control, e.g. control units
- G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
- G06F9/44—Arrangements for executing specific programs
- G06F9/448—Execution paradigms, e.g. implementations of programming paradigms
- G06F9/4496—Unification in logic programming
Landscapes
- Engineering & Computer Science (AREA)
- Software Systems (AREA)
- Theoretical Computer Science (AREA)
- General Engineering & Computer Science (AREA)
- Computing Systems (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Devices For Executing Special Programs (AREA)
- Hardware Redundancy (AREA)
- Information Retrieval, Db Structures And Fs Structures Therefor (AREA)
- Multi Processors (AREA)
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
EP86109342A EP0252176B1 (de) | 1986-07-08 | 1986-07-08 | Verfahren und System zur Verarbeitung von logischen Programmen |
Publications (1)
Publication Number | Publication Date |
---|---|
DE3670162D1 true DE3670162D1 (de) | 1990-05-10 |
Family
ID=8195254
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
DE8686109342T Expired - Fee Related DE3670162D1 (de) | 1986-07-08 | 1986-07-08 | Verfahren und system zur verarbeitung von logischen programmen. |
Country Status (5)
Country | Link |
---|---|
US (1) | US4931931A (de) |
EP (1) | EP0252176B1 (de) |
JP (1) | JPS6325734A (de) |
AT (1) | ATE51721T1 (de) |
DE (1) | DE3670162D1 (de) |
Families Citing this family (9)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2752094B2 (ja) * | 1988-09-14 | 1998-05-18 | 株式会社東芝 | 論理型言語におけるバックトラック処理方式 |
JP3006619B2 (ja) * | 1989-07-10 | 2000-02-07 | 株式会社東芝 | 資材所要量展開処理装置 |
US5471622A (en) * | 1989-10-04 | 1995-11-28 | Paralogic, Inc. | Run-time system having nodes for identifying parallel tasks in a logic program and searching for available nodes to execute the parallel tasks |
US5418954A (en) * | 1991-06-19 | 1995-05-23 | Cadence Design Systems, Inc. | Method for preparing and dynamically loading context files |
US5369732A (en) * | 1993-03-29 | 1994-11-29 | Trilogy Development Group | Method and apparatus for goal processing memory management |
US6106575A (en) * | 1998-05-13 | 2000-08-22 | Microsoft Corporation | Nested parallel language preprocessor for converting parallel language programs into sequential code |
US6292822B1 (en) | 1998-05-13 | 2001-09-18 | Microsoft Corporation | Dynamic load balancing among processors in a parallel computer |
US20100082636A1 (en) * | 2008-09-25 | 2010-04-01 | Nec Laboratories America, Inc. | Methods and Apparatus for Content-Defined Node Splitting |
US11070573B1 (en) * | 2018-11-30 | 2021-07-20 | Capsule8, Inc. | Process tree and tags |
Family Cites Families (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US4811210A (en) * | 1985-11-27 | 1989-03-07 | Texas Instruments Incorporated | A plurality of optical crossbar switches and exchange switches for parallel processor computer |
US4775934A (en) * | 1986-06-17 | 1988-10-04 | Yeda Research And Development Co. | Method for concurrent logic program |
-
1986
- 1986-07-08 AT AT86109342T patent/ATE51721T1/de not_active IP Right Cessation
- 1986-07-08 EP EP86109342A patent/EP0252176B1/de not_active Expired - Lifetime
- 1986-07-08 DE DE8686109342T patent/DE3670162D1/de not_active Expired - Fee Related
-
1987
- 1987-07-02 US US07/070,818 patent/US4931931A/en not_active Expired - Fee Related
- 1987-07-07 JP JP62170832A patent/JPS6325734A/ja active Pending
Also Published As
Publication number | Publication date |
---|---|
EP0252176B1 (de) | 1990-04-04 |
EP0252176A1 (de) | 1988-01-13 |
ATE51721T1 (de) | 1990-04-15 |
US4931931A (en) | 1990-06-05 |
JPS6325734A (ja) | 1988-02-03 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
DE3581050D1 (de) | Verfahren und vorrichtung zur herstellung von schraegen textilien. | |
DE3767431D1 (de) | Verfahren zur herstellung von halbleiterbauelementen. | |
DE3582870D1 (de) | Verfahren zur herstellung von deuteriertem methylacrylat oder methylmethacrylat. | |
DE3750789D1 (de) | Datenverarbeitungssystem und -verfahren zur direkten und indirekten Ausführung von gleichmässig strukturierten Objekttypen. | |
DE3776090D1 (de) | Verfahren zur kontrolle von warenartikeln. | |
DE3771756D1 (de) | Verfahren zur herstellung von modifizierten fasern zur verstaerkung von gummigegenstaenden. | |
DE3855860D1 (de) | Schaltungsveränderungssystem und -verfahren, Verfahren zur Erzeugung von invertierter Logik und Logikentwurfssystem | |
DE3774754D1 (de) | Verfahren und vorrichtung zur herstellung von glasgarnen durch mechanisches ziehen und erhaltene gegenstaende. | |
DE3583896D1 (de) | Verfahren und vorrichtung zur herstellung von weissen zementklinkern. | |
DE69003009D1 (de) | Verfahren zur Behandlung von Fasermaterialien. | |
DE3670162D1 (de) | Verfahren und system zur verarbeitung von logischen programmen. | |
ATE102201T1 (de) | Verfahren zur trennung von folinsaeure. | |
DE69009952D1 (de) | Verfahren zur Verbrennung von feuchten Abfällen. | |
DE3761253D1 (de) | Verfahren zur aufbereitung von kohle. | |
DE68914485D1 (de) | Verfahren zur Metallisierung von Fasergegenständen. | |
DE3761828D1 (de) | Verfahren zur fluessigkeitsbehandlung von textilmaterial. | |
DE69011546D1 (de) | Verfahren zur Herstellung von Josephson-Übergängen. | |
DE3789680D1 (de) | Verfahren zur Herstellung von Halbleiterbauelementen. | |
DE3771806D1 (de) | Verfahren zur herstellung von 3-halogen-2-hydroxypropyl-trimethylammonium-halogenid. | |
DE3888795D1 (de) | Auswaschungsverfahren von magnetisch getrennten Teilchen. | |
DE3670145D1 (de) | Verfahren zur behandlung von abfall. | |
DE3787543D1 (de) | Verfahren zur herstellung von 6,13-dihydrochinacridonen und chinacridonen. | |
DE3871630D1 (de) | Verfahren und vorrichtung zum zentrifugieren von garnen. | |
DE3763468D1 (de) | Verfahren zur feinreinigung von spaltmolybdaen. | |
DE3761088D1 (de) | Verbessertes verfahren zur herstellung von p-cymol und homologen alkylbenzolen. |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
8364 | No opposition during term of opposition | ||
8339 | Ceased/non-payment of the annual fee |