JPS6437631A - Close selecting system - Google Patents
Close selecting systemInfo
- Publication number
- JPS6437631A JPS6437631A JP19267187A JP19267187A JPS6437631A JP S6437631 A JPS6437631 A JP S6437631A JP 19267187 A JP19267187 A JP 19267187A JP 19267187 A JP19267187 A JP 19267187A JP S6437631 A JPS6437631 A JP S6437631A
- Authority
- JP
- Japan
- Prior art keywords
- close
- candidate
- executed
- format
- value
- 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.)
- Granted
Links
Landscapes
- Devices For Executing Special Programs (AREA)
Abstract
PURPOSE:To optimize the saving of back track information and to improve the efficiency of execution by utilizing a close format value and a key value. CONSTITUTION:When the format of an argument stored in argument register 101-104 is a variable, control for storing back track control information in a control processing stack 110 is executed so that respective closes of accessed predicates are sequentially executed. When the argument is a non-variable, a format value and a key value coincident with the format value and the key value in the registers 101-104 or a candidate close having the variable format value and selected as the candidate of the close to be successively executed and a substitutive close to be executed at the time of failing the candidate close are retrieved, and during the detection of both the values, the back track control information is stored in a control stack 110 to execute the candidate close. When only the candidate close is detected, the back track control information is extracted from the control stack 110 and then the candidate close is executed.
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP19267187A JPS6437631A (en) | 1987-08-03 | 1987-08-03 | Close selecting system |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP19267187A JPS6437631A (en) | 1987-08-03 | 1987-08-03 | Close selecting system |
Publications (2)
Publication Number | Publication Date |
---|---|
JPS6437631A true JPS6437631A (en) | 1989-02-08 |
JPH0572612B2 JPH0572612B2 (en) | 1993-10-12 |
Family
ID=16295108
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP19267187A Granted JPS6437631A (en) | 1987-08-03 | 1987-08-03 | Close selecting system |
Country Status (1)
Country | Link |
---|---|
JP (1) | JPS6437631A (en) |
Citations (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPS60540A (en) * | 1983-06-17 | 1985-01-05 | Nec Corp | Predicative logic type language processor |
-
1987
- 1987-08-03 JP JP19267187A patent/JPS6437631A/en active Granted
Patent Citations (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPS60540A (en) * | 1983-06-17 | 1985-01-05 | Nec Corp | Predicative logic type language processor |
Also Published As
Publication number | Publication date |
---|---|
JPH0572612B2 (en) | 1993-10-12 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
JPS56149646A (en) | Operation controller | |
EP0381471A3 (en) | Method and apparatus for preprocessing multiple instructions in a pipeline processor | |
EP0735463A3 (en) | Computer processor having a register file with reduced read and/or write port bandwidth | |
EP1338957A3 (en) | Software scheduled superscalar computer architecture | |
EP0354585A3 (en) | Instruction pipeline microprocessor | |
JPS5779557A (en) | Data processor | |
EP0331191A3 (en) | Information processing system capable of carrying out advanced execution | |
JPS6432379A (en) | Computer | |
JPS6437631A (en) | Close selecting system | |
JPS6431238A (en) | System for controlling store buffer | |
JPS57155652A (en) | Collector of process working data | |
EP0343668A3 (en) | Normalization control system for floating point arithmetic operations | |
JPS6435630A (en) | Information processor | |
JPS5447545A (en) | Multiple processor system | |
JPS5971542A (en) | Arithmetic processor | |
JPS56147246A (en) | Program control device | |
JPS5621245A (en) | Detection system of address coincidence system | |
JPS56124954A (en) | Advance control type information processing equipment | |
JPS5688562A (en) | Control system for parallel execution of linked instruction | |
JPS6468856A (en) | Data processor | |
JPS6155738A (en) | Determining system of operation mode | |
JPS6478369A (en) | Vector data processor | |
JPS6446840A (en) | Prolog processor | |
JPS57197680A (en) | Collating device for print of seal | |
JPS5720846A (en) | Information processor |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
EXPY | Cancellation because of completion of term |