ATE51721T1 - Verfahren und system zur verarbeitung von logischen programmen. - Google Patents

Verfahren und system zur verarbeitung von logischen programmen.

Info

Publication number
ATE51721T1
ATE51721T1 AT86109342T AT86109342T ATE51721T1 AT E51721 T1 ATE51721 T1 AT E51721T1 AT 86109342 T AT86109342 T AT 86109342T AT 86109342 T AT86109342 T AT 86109342T AT E51721 T1 ATE51721 T1 AT E51721T1
Authority
AT
Austria
Prior art keywords
called
father
son
parallel
variables
Prior art date
Application number
AT86109342T
Other languages
English (en)
Inventor
J C Syre
H Westphal
M Hailperin
Original Assignee
Europ Computer Ind Res
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 Europ Computer Ind Res filed Critical Europ Computer Ind Res
Application granted granted Critical
Publication of ATE51721T1 publication Critical patent/ATE51721T1/de

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; 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 OR CALCULATING; 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)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Computing Systems (AREA)
  • Devices For Executing Special Programs (AREA)
  • Hardware Redundancy (AREA)
  • Multi Processors (AREA)
  • Information Retrieval, Db Structures And Fs Structures Therefor (AREA)
AT86109342T 1986-07-08 1986-07-08 Verfahren und system zur verarbeitung von logischen programmen. ATE51721T1 (de)

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
ATE51721T1 true ATE51721T1 (de) 1990-04-15

Family

ID=8195254

Family Applications (1)

Application Number Title Priority Date Filing Date
AT86109342T ATE51721T1 (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)

* Cited by examiner, † Cited by third party
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
US11106800B1 (en) 2018-11-30 2021-08-31 Capsule8, Inc. Detecting kernel exploits

Family Cites Families (2)

* Cited by examiner, † Cited by third party
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

Also Published As

Publication number Publication date
DE3670162D1 (de) 1990-05-10
US4931931A (en) 1990-06-05
EP0252176A1 (de) 1988-01-13
JPS6325734A (ja) 1988-02-03
EP0252176B1 (de) 1990-04-04

Similar Documents

Publication Publication Date Title
DE3581050D1 (de) Verfahren und vorrichtung zur herstellung von schraegen textilien.
DE3587075D1 (de) Kleidungsstruktur und verfahren zur herstellung von kleidungsstuecken.
DE3767431D1 (de) Verfahren zur herstellung von halbleiterbauelementen.
DE3776090D1 (de) Verfahren zur kontrolle von warenartikeln.
DE3582870D1 (de) Verfahren zur herstellung von deuteriertem methylacrylat oder methylmethacrylat.
DE3767969D1 (de) Verfahren zur herstellung von kalziumphosphat.
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
DE3783079D1 (de) Verfahren zur pyrorekombination von abfallstoffe enthaltenden mischungen.
DE3583896D1 (de) Verfahren und vorrichtung zur herstellung von weissen zementklinkern.
DE3681034D1 (de) Verfahren zur oxydehydrierung von ethan.
DE69003009D1 (de) Verfahren zur Behandlung von Fasermaterialien.
DE3670162D1 (de) Verfahren und system zur verarbeitung von logischen programmen.
ATE89009T1 (de) Verfahren zur kontrollierten depolymerisierung von polysacchariden.
DE3750714D1 (de) Verfahren zur Behandlung von Kohlenstoffasern mit Urethanen.
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.
DE3763468D1 (de) Verfahren zur feinreinigung von spaltmolybdaen.
DE3888795D1 (de) Auswaschungsverfahren von magnetisch getrennten Teilchen.
DE3670145D1 (de) Verfahren zur behandlung von abfall.

Legal Events

Date Code Title Description
UEP Publication of translation of european patent specification
REN Ceased due to non-payment of the annual fee