JPS6437631A - Close selecting system - Google Patents

Close selecting system

Info

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
Application number
JP19267187A
Other languages
Japanese (ja)
Other versions
JPH0572612B2 (en
Inventor
Akihiko Konagaya
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.)
National Institute of Advanced Industrial Science and Technology AIST
Original Assignee
Agency of Industrial Science and Technology
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 Agency of Industrial Science and Technology filed Critical Agency of Industrial Science and Technology
Priority to JP19267187A priority Critical patent/JPS6437631A/en
Publication of JPS6437631A publication Critical patent/JPS6437631A/en
Publication of JPH0572612B2 publication Critical patent/JPH0572612B2/ja
Granted legal-status Critical Current

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.
JP19267187A 1987-08-03 1987-08-03 Close selecting system Granted JPS6437631A (en)

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)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPS60540A (en) * 1983-06-17 1985-01-05 Nec Corp Predicative logic type language processor

Patent Citations (1)

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