JPS60540A - Predicative logic type language processor - Google Patents

Predicative logic type language processor

Info

Publication number
JPS60540A
JPS60540A JP10867983A JP10867983A JPS60540A JP S60540 A JPS60540 A JP S60540A JP 10867983 A JP10867983 A JP 10867983A JP 10867983 A JP10867983 A JP 10867983A JP S60540 A JPS60540 A JP S60540A
Authority
JP
Japan
Prior art keywords
control section
predicates
predicative
another
buffer memories
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
JP10867983A
Other languages
Japanese (ja)
Other versions
JPH046984B2 (en
Inventor
Yoshinari Nakasaki
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.)
NEC Corp
Original Assignee
NEC Corp
Nippon Electric Co Ltd
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 NEC Corp, Nippon Electric Co Ltd filed Critical NEC Corp
Priority to JP10867983A priority Critical patent/JPH046984B2/ja
Publication of JPS60540A publication Critical patent/JPS60540A/en
Publication of JPH046984B2 publication Critical patent/JPH046984B2/ja
Expired legal-status Critical Current

Links

Abstract

PURPOSE: To compare a predicate with another predicate at a high speed, by providing plural buffer memories which can read out simultaneously as the processor of a predicative logic type language.
CONSTITUTION: The internal expression of a paragraph composed of a series of predicates consisting of their names and referring numbers in stored in a storage device 100. The stored internal expression of a paragraph is read out to buffer memories 102, 104, 106, and 108 by appointing an address of the device 100 through an address register 101 under the control of a control section 113. Also under the control of the control section 113, out of the outputs of each buffer memory one is selected by means of a selection circuit 110 and another one is selected by means of another selection circuit 111, simultaneously, and the selected data are sent to the control section 113. At the control section 113, readout from the buffer memories selected by means of the selection circuits 110 and 111 is simultaneously performed and predicates are compared with each other at a comparator 112, and thus, coincidence between predicates can be detected.
COPYRIGHT: (C)1985,JPO&Japio
JP10867983A 1983-06-17 1983-06-17 Expired JPH046984B2 (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
JP10867983A JPH046984B2 (en) 1983-06-17 1983-06-17

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP10867983A JPH046984B2 (en) 1983-06-17 1983-06-17

Publications (2)

Publication Number Publication Date
JPS60540A true JPS60540A (en) 1985-01-05
JPH046984B2 JPH046984B2 (en) 1992-02-07

Family

ID=14490920

Family Applications (1)

Application Number Title Priority Date Filing Date
JP10867983A Expired JPH046984B2 (en) 1983-06-17 1983-06-17

Country Status (1)

Country Link
JP (1) JPH046984B2 (en)

Cited By (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US4573616A (en) * 1982-05-24 1986-03-04 Flo-Con Systems, Inc. Valve, clamp, refractory and method
JPS6437631A (en) * 1987-08-03 1989-02-08 Agency Ind Science Techn Close selecting system

Cited By (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US4573616A (en) * 1982-05-24 1986-03-04 Flo-Con Systems, Inc. Valve, clamp, refractory and method
JPS6437631A (en) * 1987-08-03 1989-02-08 Agency Ind Science Techn Close selecting system
JPH0572612B2 (en) * 1987-08-03 1993-10-12 Kogyo Gijutsuin

Also Published As

Publication number Publication date
JPH046984B2 (en) 1992-02-07

Similar Documents

Publication Publication Date Title
JPH04313121A (en) Instruction memory device
JPH03286234A (en) Memory control device
JPS5654558A (en) Write control system for main memory unit
JPS60540A (en) Predicative logic type language processor
JPS63217452A (en) Setting system for memory access timing
JPH023163A (en) Multi-port memory
JPS59154548A (en) Storage control system
JPH04350731A (en) Development backup system
JPS63298456A (en) Memory device
JPS63284638A (en) Data arraying device
JPH02232727A (en) Information processor
JPS61110234A (en) Data processor
JPH02103650A (en) Data processor
JPS588364A (en) Status career storage system
JPS61267149A (en) Data processor
JPS5593580A (en) Buffer memory control system
JPH02135553A (en) Information processor
JPH01193960A (en) Input/output control system
JPS63129436A (en) Processor integrated circuit
JPH01234931A (en) Projection processing system for relational data base
JPS61264436A (en) Data processing system
JPS5448128A (en) Buffer memory unit
JPS61150038A (en) Binary tree processing system
JPS63228349A (en) Buffer memory device
JPH04137150A (en) Buffer storage device