FR2599871B1 - MICROPROGRAMME FOR RESOLVING LOGIC PROGRAMS - Google Patents
MICROPROGRAMME FOR RESOLVING LOGIC PROGRAMSInfo
- Publication number
- FR2599871B1 FR2599871B1 FR8608378A FR8608378A FR2599871B1 FR 2599871 B1 FR2599871 B1 FR 2599871B1 FR 8608378 A FR8608378 A FR 8608378A FR 8608378 A FR8608378 A FR 8608378A FR 2599871 B1 FR2599871 B1 FR 2599871B1
- Authority
- FR
- France
- Prior art keywords
- microprogramme
- logic programs
- resolving logic
- resolving
- programs
- 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
Links
Classifications
-
- 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
Priority Applications (4)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
FR8608378A FR2599871B1 (en) | 1986-06-10 | 1986-06-10 | MICROPROGRAMME FOR RESOLVING LOGIC PROGRAMS |
DE19873719363 DE3719363A1 (en) | 1986-06-10 | 1987-06-10 | MICROPROGRAMMED PROCESSOR FOR DATA PROCESSING DEVICES |
JP62146187A JPS63100540A (en) | 1986-06-10 | 1987-06-10 | Microprogram processor |
GB8713587A GB2191616B (en) | 1986-06-10 | 1987-06-10 | A microprogrammed processor for the resolution of logic programs |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
FR8608378A FR2599871B1 (en) | 1986-06-10 | 1986-06-10 | MICROPROGRAMME FOR RESOLVING LOGIC PROGRAMS |
Publications (2)
Publication Number | Publication Date |
---|---|
FR2599871A1 FR2599871A1 (en) | 1987-12-11 |
FR2599871B1 true FR2599871B1 (en) | 1988-10-07 |
Family
ID=9336196
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
FR8608378A Expired FR2599871B1 (en) | 1986-06-10 | 1986-06-10 | MICROPROGRAMME FOR RESOLVING LOGIC PROGRAMS |
Country Status (4)
Country | Link |
---|---|
JP (1) | JPS63100540A (en) |
DE (1) | DE3719363A1 (en) |
FR (1) | FR2599871B1 (en) |
GB (1) | GB2191616B (en) |
Family Cites Families (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US3675214A (en) * | 1970-07-17 | 1972-07-04 | Interdata Inc | Processor servicing external devices, real and simulated |
US3943495A (en) * | 1973-12-26 | 1976-03-09 | Xerox Corporation | Microprocessor with immediate and indirect addressing |
US4339796A (en) * | 1978-06-30 | 1982-07-13 | International Business Machines Corporation | System for generating a plurality of different addresses for a working memory of a microcontroller during execution of certain instructions |
US4661901A (en) * | 1982-12-23 | 1987-04-28 | International Business Machines Corporation | Microprocessor control system utilizing overlapped programmable logic arrays |
US4719565A (en) * | 1984-11-01 | 1988-01-12 | Advanced Micro Devices, Inc. | Interrupt and trap handling in microprogram sequencer |
-
1986
- 1986-06-10 FR FR8608378A patent/FR2599871B1/en not_active Expired
-
1987
- 1987-06-10 DE DE19873719363 patent/DE3719363A1/en not_active Withdrawn
- 1987-06-10 GB GB8713587A patent/GB2191616B/en not_active Expired - Lifetime
- 1987-06-10 JP JP62146187A patent/JPS63100540A/en active Pending
Also Published As
Publication number | Publication date |
---|---|
GB2191616A (en) | 1987-12-16 |
GB2191616B (en) | 1990-12-12 |
DE3719363A1 (en) | 1987-12-17 |
FR2599871A1 (en) | 1987-12-11 |
GB8713587D0 (en) | 1987-07-15 |
JPS63100540A (en) | 1988-05-02 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
DE3751716T2 (en) | Machine translation system | |
BR8702474A (en) | OVER-COVER SET | |
BR8504217A (en) | CYCLONE ARRANGEMENT | |
ES2021121B3 (en) | COVER SLEEVE | |
FR2608469B1 (en) | SCREENING MACHINE | |
FR2570022B1 (en) | SERIGRAPHY MACHINE | |
PT84233B (en) | APPROPRIATE PROCESS FOR THE RESOLUTION OF 1-AMINOINDANES | |
BR8205952A (en) | ALTERNATIVE MOVEMENT MACHINE | |
MX160090A (en) | PEDAL ACTUATORS | |
FR2599871B1 (en) | MICROPROGRAMME FOR RESOLVING LOGIC PROGRAMS | |
BR8700324A (en) | DRUM SET | |
ES289188Y (en) | DRAWER DEVICE | |
RO90437A2 (en) | PROCEDURE FOR OBTAINING A POLYSHARIDE | |
RO93557A2 (en) | PROCEDURE FOR OBTAINING MONOMETILADIPAT | |
ES2018075B3 (en) | STAMP RING | |
ES540235A0 (en) | PREPARATION PROCEDURE FOR AMPHALIDATED PHALIDISOKINOLINS | |
NO875179D0 (en) | PROGRAMS FOR FARTOEY. | |
BR8606466A (en) | COIL INSPECTION MACHINE | |
FR2607480B1 (en) | UNIT PARTS DISTRIBUTOR | |
RO89558A2 (en) | PROCESS FOR PREPARATION OF -CLOR-PHENYLPROPIONITRILE | |
ES279804Y (en) | FIXING DEVICE FOR FURNITURE ELEMENTS | |
BR8401930A (en) | PIECE FOR FIXING PIECES | |
ES1000141Y (en) | SPINDLE PRESS | |
ES277538Y (en) | IMPROVED TEST SCREEN | |
RO92960A2 (en) | PROCESS FOR OBTAINING 2-HYDROXY-1-NAFTALDEHYDE |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
TP | Transmission of property | ||
TP | Transmission of property | ||
ST | Notification of lapse |