JPS63280338A - 論理型言語の結合方式 - Google Patents
論理型言語の結合方式Info
- Publication number
- JPS63280338A JPS63280338A JP11612187A JP11612187A JPS63280338A JP S63280338 A JPS63280338 A JP S63280338A JP 11612187 A JP11612187 A JP 11612187A JP 11612187 A JP11612187 A JP 11612187A JP S63280338 A JPS63280338 A JP S63280338A
- Authority
- JP
- Japan
- Prior art keywords
- subroutine
- fortran
- application program
- logical
- predicate
- 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.)
- Pending
Links
Landscapes
- Devices For Executing Special Programs (AREA)
Abstract
(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。
め要約のデータは記録されません。
Description
【発明の詳細な説明】
〔産業上の利用分野〕
この発明は、論理型言語ＰｒｏｌｏｇやＬｉ５ｐ等とＦ
ＯＲＴＲＡＮプログラム（サブルーチン）との結合方式
に関するものである。
ＯＲＴＲＡＮプログラム（サブルーチン）との結合方式
に関するものである。
従来の論理型言語ｐｒｏｌｏｇとＦＯＲＴＲＡＮサブル
ーチンの結合方法に関し第３図に沿って説明する。第３
図では１００は、ｐｒｏ １ ｏｇ処理系を含むプログ
ラムの全体であり、ｌはｐｒ。
ーチンの結合方法に関し第３図に沿って説明する。第３
図では１００は、ｐｒｏ １ ｏｇ処理系を含むプログ
ラムの全体であり、ｌはｐｒ。
ｌｏｇ処理系、２はｐｒｏｌｏｇによる応用プログラム
、１０３はこのｐｒｏｌｏｇプログラムからコールされ
るＦＯＲＴＲＡＮサブルーチンである。応用プログラム
２内には予め特定のサブルーチン名に対応してポインタ
が設定されている。
、１０３はこのｐｒｏｌｏｇプログラムからコールされ
るＦＯＲＴＲＡＮサブルーチンである。応用プログラム
２内には予め特定のサブルーチン名に対応してポインタ
が設定されている。
次にｐｒｏｌｏｇ応用プログラム２からＦＯＲＴＲＡＮ
サブルーチン１０３をコールする際の従来のｐｒｏｌｏ
ｇ処理系ｌの動作について説明する。すなわち、ｐｒｏ
ｌｏｇ応用プログラム２内で、ＦＯＲＴＲＡＮサブルー
チン１０３へのコールを示す述語の実行要求があること
を検知すると、ｐｒｏｌｏｇ応用プログラム２は設定さ
れたポインタからＦＯＲＴＲＡＮサブルーチン１０３本
体に処理を移し実行している。
サブルーチン１０３をコールする際の従来のｐｒｏｌｏ
ｇ処理系ｌの動作について説明する。すなわち、ｐｒｏ
ｌｏｇ応用プログラム２内で、ＦＯＲＴＲＡＮサブルー
チン１０３へのコールを示す述語の実行要求があること
を検知すると、ｐｒｏｌｏｇ応用プログラム２は設定さ
れたポインタからＦＯＲＴＲＡＮサブルーチン１０３本
体に処理を移し実行している。
このＦＯＲＴＲＡＮサブルーチン１０３は、ｐｒｏｌｏ
ｇ応用プログラム２で使用するものをあらかじめ洗い出
して、ｐｒｏｌｏｇ処理系ｌにリンクしておく必要があ
り、リンクされていないＦＯＲＴＲＡＮサブルーチンは
使用できなかった。
ｇ応用プログラム２で使用するものをあらかじめ洗い出
して、ｐｒｏｌｏｇ処理系ｌにリンクしておく必要があ
り、リンクされていないＦＯＲＴＲＡＮサブルーチンは
使用できなかった。
又新たなＦＯＲＴＲＡＮサブルーチンが必要になる度に
処理系を再リンクしなければならず、実行時に柔軟に任
意に、ＦＯＲＴＲＡＮサブルーチンへのコールを行うこ
とができなかった。
処理系を再リンクしなければならず、実行時に柔軟に任
意に、ＦＯＲＴＲＡＮサブルーチンへのコールを行うこ
とができなかった。
この発明は上記のような問題点を解消するためになされ
たもので、ｐｒｏｌｏｇ応用プログラムからＦＯＲＴＲ
ＡＮサブルーチンコールの要求があると、その時点でデ
ィスクのサブルーチンライブラリから必要なＦＯＲＴＲ
ＡＮサブルーチンを処理系内にロードし、実行できる論
理型言語の結合方式を提供することを目的としている。
たもので、ｐｒｏｌｏｇ応用プログラムからＦＯＲＴＲ
ＡＮサブルーチンコールの要求があると、その時点でデ
ィスクのサブルーチンライブラリから必要なＦＯＲＴＲ
ＡＮサブルーチンを処理系内にロードし、実行できる論
理型言語の結合方式を提供することを目的としている。
この発明においては、論理型処理系１の下で論理型応用
プログラム２がサブルーチンライブラリと結合して動作
するシステムにおいて、論理型処理系の内部にサブルー
チン定義テーブルを設け、かつサブルーチンコードエリ
アを設け、論理型応用プログラムはサブルーチン定義述
語１３によりサブルーチン定義テーブル１１にサブルー
チン名とそのポインタを定義し、次にサブルーチンロー
ド述語１４によりサブルーチンライブラリ４から該サブ
ルーチン５をサブルーチンコードエリア３にロードし、
サブルーチン実行要求述語１５により該サブルーチン５
を実行するようにした。
プログラム２がサブルーチンライブラリと結合して動作
するシステムにおいて、論理型処理系の内部にサブルー
チン定義テーブルを設け、かつサブルーチンコードエリ
アを設け、論理型応用プログラムはサブルーチン定義述
語１３によりサブルーチン定義テーブル１１にサブルー
チン名とそのポインタを定義し、次にサブルーチンロー
ド述語１４によりサブルーチンライブラリ４から該サブ
ルーチン５をサブルーチンコードエリア３にロードし、
サブルーチン実行要求述語１５により該サブルーチン５
を実行するようにした。
論理型応用プログラム２からサブルーチン５の実行要求
があると、サブルーチン定義テーブル１１を参照して、
サブルーチンライブラリ４から該サブルーチン５をサブ
ルーチンコードエリア３にロードし、ここで実行する。
があると、サブルーチン定義テーブル１１を参照して、
サブルーチンライブラリ４から該サブルーチン５をサブ
ルーチンコードエリア３にロードし、ここで実行する。
応用プログラム２は必要に応じてサブルーチン定義テー
ブル１１に基づき任意のサブルーチン５と結合できる。
ブル１１に基づき任意のサブルーチン５と結合できる。
以下この発明の一実施例を図面を参照して説明する。
第１図において、１は論理型言語のｐｒｏｔ。
ｇ処理系、２はｐｒｏｌｏｇ応用プログラム、３はディ
スクに格納されたＦＯＲＴＲＡＮサブルーチンをロード
するＦＯＲＴＲＡＮサブルーチンコードエリア、４はデ
ィスク装置内のＦＯＲＴＲＡＮサブルーチンライブラリ
ファイル、５はＦＯＲＴＲＡＮサブルーチンＡである。
スクに格納されたＦＯＲＴＲＡＮサブルーチンをロード
するＦＯＲＴＲＡＮサブルーチンコードエリア、４はデ
ィスク装置内のＦＯＲＴＲＡＮサブルーチンライブラリ
ファイル、５はＦＯＲＴＲＡＮサブルーチンＡである。
ＦＯＲＴＲＡＮサブルーチンライブラリファイル４には
、その他にＦＯＲＴＲＡＮサブルーチンＢ等複数のサブ
ルーチンが格納されており、ｐｒｏｌｏｇ処理系１内に
はサブルーチン定義テーブル１１が設けられている。
、その他にＦＯＲＴＲＡＮサブルーチンＢ等複数のサブ
ルーチンが格納されており、ｐｒｏｌｏｇ処理系１内に
はサブルーチン定義テーブル１１が設けられている。
ｐｒｏｌｏｇ応用プログラム２からＦＯＲＴＲＡＮサブ
ルーチンＡ５の実行要求があると、あらかじめ処理系内
１に定義されたＦＯＲＴＲＡＮサブルーチン定義テーブ
ル１１を参照して、ＦＯＲＴＲＡＮサブルーチンライブ
ラリファイル４から当富亥すフ゛ル−チン５のオフ゛ジ
ェフトコードをＦ０ＲＴＲＡＮサブルーチンコードエリ
ア３にロードし、ここに処理を移して実行する。
ルーチンＡ５の実行要求があると、あらかじめ処理系内
１に定義されたＦＯＲＴＲＡＮサブルーチン定義テーブ
ル１１を参照して、ＦＯＲＴＲＡＮサブルーチンライブ
ラリファイル４から当富亥すフ゛ル−チン５のオフ゛ジ
ェフトコードをＦ０ＲＴＲＡＮサブルーチンコードエリ
ア３にロードし、ここに処理を移して実行する。
第２図は、Ｐｒｏｌｏｇ処理系内の詳細構成を示し、新
たに設けられたＦＯＲＴＲＡＮサブルーチン定義テーブ
ル１１．ＦＯＲＴＲＡＮサブルーチンコードエリア１２
及びこれを使用してｐｒ。
たに設けられたＦＯＲＴＲＡＮサブルーチン定義テーブ
ル１１．ＦＯＲＴＲＡＮサブルーチンコードエリア１２
及びこれを使用してｐｒ。
ｌｏｇ応用プログラムＦＯＲＴＲＡＮサブルーチンをダ
イナミックに定義し、ロードし、実行するために新たに
設けた各組込述語１３，１４．１５を示している。
イナミックに定義し、ロードし、実行するために新たに
設けた各組込述語１３，１４．１５を示している。
次に動作について説明する。
ｐｒｏｌｏｇ応用プログラム２からＦＯＲＴＲＡＮサブ
ルーチンＡ、Ｂ・・・・・・を使用したいとき、まず、
ＦＯＲＴＲＡＮサブルーチン定義述語１３を実行する。
ルーチンＡ、Ｂ・・・・・・を使用したいとき、まず、
ＦＯＲＴＲＡＮサブルーチン定義述語１３を実行する。
これによって、ＦＯＲＴＲＡＮサブルーチン定義テーブ
ル１１の内にサブルーチン名２０、引数の数２２、引数
の型２３が登録される。
ル１１の内にサブルーチン名２０、引数の数２２、引数
の型２３が登録される。
次に、ＦＯＲＴＲＡＮサブルーチンＡを処理系内ＦＯＲ
ＴＲＡＮサブルーチンコードエリア３にロードするため
ＦＯＲＴＲＡＮサブルーチン口−ド述語１４を実行する
。これによって、ＦＯＲＴＲＡＮサブルーチンへのコー
ドがＦＯＲＴＲＡＮサブルーチンコードエリア３の空き
エリアにロードされるとともに、ＦＯＲＴＲＡＮサブル
ーチン定義テーブル１１のサブルーチンエントリ点２１
が登録される。・ 最後にＦＯＲＴＲＡＮサブルーチンＡを実行するために
、ＦＯＲＴＲＡＮサブルーチン実行要求述語１５を実行
すると、処理系は、要求されたサブルーチン名から、Ｆ
ＯＲＴＲＡＮサブルーチン定義テーブル１１からサブル
ーチンエントリ点２１を検索し、サブルーチン本体に処
理を移す。
ＴＲＡＮサブルーチンコードエリア３にロードするため
ＦＯＲＴＲＡＮサブルーチン口−ド述語１４を実行する
。これによって、ＦＯＲＴＲＡＮサブルーチンへのコー
ドがＦＯＲＴＲＡＮサブルーチンコードエリア３の空き
エリアにロードされるとともに、ＦＯＲＴＲＡＮサブル
ーチン定義テーブル１１のサブルーチンエントリ点２１
が登録される。・ 最後にＦＯＲＴＲＡＮサブルーチンＡを実行するために
、ＦＯＲＴＲＡＮサブルーチン実行要求述語１５を実行
すると、処理系は、要求されたサブルーチン名から、Ｆ
ＯＲＴＲＡＮサブルーチン定義テーブル１１からサブル
ーチンエントリ点２１を検索し、サブルーチン本体に処
理を移す。
このような処理手順を踏むことにより、ｐｒｏｌｏｇ応
用プログラム２は、ＦＯＲＴＲＡＮサブルーチンＡ、Ｂ
・・・・・・の定義、ロード、実行と夫々制御でき、柔
軟に必要になったＦＯＲＴＲＡＮサブルーチンＡ、Ｂ・
・・・・・との結合を行うことが可能となる。
用プログラム２は、ＦＯＲＴＲＡＮサブルーチンＡ、Ｂ
・・・・・・の定義、ロード、実行と夫々制御でき、柔
軟に必要になったＦＯＲＴＲＡＮサブルーチンＡ、Ｂ・
・・・・・との結合を行うことが可能となる。
なお、上記の例は論理型言語としてＰｒｏｌ。
ｇに適用する場合について記述したが、同様に、Ｌｒ５
Ｐ等についても適用が可能で同じような効果が得られる
。
Ｐ等についても適用が可能で同じような効果が得られる
。
以上説明してきたように、この発明によれば、論理型処
理系の下で論理型応用プログラムがサブルーチンライブ
ラリと結合して動作するシステムにおいて、論理型処理
系の内部にサブルーチン定義テーブルを設け、かつサブ
ルーチンコードエリアを設け、論理型応用プログラムは
サブルーチン定義述語によりサブルーチン定義テーブル
にサブルーチン名とそのポインタを定義し、次にサブル
ーチンロード述語によりサブルーチンライブラリから該
サブルーチンをサブルーチンコードエリアにロードし、
サブルーチン実行要求述語により該サブルーチンを実行
するようにしたのでディスクのＦＯＲＴＲＡＮ等のサブ
ルーチンライブラリに格納されたサブルーチンを論理型
応用プログラムから必要に応じて任意にロード・実行で
きるようになった。このようにして論理型言語のｐｒｏ
ｌｏｇプログラムとＦＯＲＴＲＡＮサブルーチンの結合
を柔軟に行える効果が得られる。
理系の下で論理型応用プログラムがサブルーチンライブ
ラリと結合して動作するシステムにおいて、論理型処理
系の内部にサブルーチン定義テーブルを設け、かつサブ
ルーチンコードエリアを設け、論理型応用プログラムは
サブルーチン定義述語によりサブルーチン定義テーブル
にサブルーチン名とそのポインタを定義し、次にサブル
ーチンロード述語によりサブルーチンライブラリから該
サブルーチンをサブルーチンコードエリアにロードし、
サブルーチン実行要求述語により該サブルーチンを実行
するようにしたのでディスクのＦＯＲＴＲＡＮ等のサブ
ルーチンライブラリに格納されたサブルーチンを論理型
応用プログラムから必要に応じて任意にロード・実行で
きるようになった。このようにして論理型言語のｐｒｏ
ｌｏｇプログラムとＦＯＲＴＲＡＮサブルーチンの結合
を柔軟に行える効果が得られる。
第１図はこの発明の結合方式の全体構成図、第２図は第
１図のサブルーチン定義テーブルの詳細構成と動作を説
明する図、第３図は従来の結合方式の全体構成図である
。 １−Ｐ ｒ ｏ ｌ ｏ ｇ処理系、２・・・…Ｐｒ０
１゜ｇ応用プログラム、３・・・・・・ＦＯＲＴＲＡＮ
サブルーチンコードエリア、４・・・・・・ＦＯＲＴＲ
ＡＮサブルーチンライブラリファイル、５・・・・・・
ＦＯＲＴＲＡＮサブルーチンＡ、１１・・・・・・サブ
ルーチン定義テーブル、１３・・・・・・サブルーチン
定義述語、１４・・・・・・ザブルーチンロード述語、
１５・・・・・・サブルーチン実行述語。 代理人 大君 増雄（ほか２名） 躬２図 ＦＯＲＴＲＡＮ９７°’、 レ−二’Ｊ ”ｆ１％ ’
Ｙ−７”）ｌ／第３図
１図のサブルーチン定義テーブルの詳細構成と動作を説
明する図、第３図は従来の結合方式の全体構成図である
。 １−Ｐ ｒ ｏ ｌ ｏ ｇ処理系、２・・・…Ｐｒ０
１゜ｇ応用プログラム、３・・・・・・ＦＯＲＴＲＡＮ
サブルーチンコードエリア、４・・・・・・ＦＯＲＴＲ
ＡＮサブルーチンライブラリファイル、５・・・・・・
ＦＯＲＴＲＡＮサブルーチンＡ、１１・・・・・・サブ
ルーチン定義テーブル、１３・・・・・・サブルーチン
定義述語、１４・・・・・・ザブルーチンロード述語、
１５・・・・・・サブルーチン実行述語。 代理人 大君 増雄（ほか２名） 躬２図 ＦＯＲＴＲＡＮ９７°’、 レ−二’Ｊ ”ｆ１％ ’
Ｙ−７”）ｌ／第３図
Claims (1)
- 【特許請求の範囲】 論理型処理系の下で論理型応用プログラムがサブルーチ
ンライブラリと結合して動作するシステムにおいて、 前記論理型処理系の内部にサブルーチン定義テーブルを
設け、かつサブルーチンコードエリアを設け、前記論理
型応用プログラムはサブルーチン定義述語により前記サ
ブルーチン定義テーブルにサブルーチン名とそのポイン
タを定義し、次にサブルーチンロード述語により前記サ
ブルーチンライブラリから該サブルーチンを前記サブル
ーチンコードエリアにロードし、サブルーチン実行要求
述語により該サブルーチンを実行するようにしたことを
特徴とする論理型言語の結合方式。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP11612187A JPS63280338A (ja) | 1987-05-13 | 1987-05-13 | 論理型言語の結合方式 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP11612187A JPS63280338A (ja) | 1987-05-13 | 1987-05-13 | 論理型言語の結合方式 |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JPS63280338A true JPS63280338A (ja) | 1988-11-17 |
Family
ID=14679214
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP11612187A Pending JPS63280338A (ja) | 1987-05-13 | 1987-05-13 | 論理型言語の結合方式 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPS63280338A (ja) |
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH03136138A (ja) * | 1989-08-14 | 1991-06-10 | Internatl Business Mach Corp <Ibm> | プロローグと外部プロセスの間の通信方法及び装置 |
Citations (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPS60195644A (ja) * | 1984-03-16 | 1985-10-04 | Pentel Kk | 情報処理装置 |
| JPS60230237A (ja) * | 1984-04-27 | 1985-11-15 | Hitachi Ltd | 電算機プログラムのロ−デイング方法 |
| JPS61128326A (ja) * | 1984-11-28 | 1986-06-16 | Toshiba Corp | イメ−ジ表示処理方式 |
-
1987
- 1987-05-13 JP JP11612187A patent/JPS63280338A/ja active Pending
Patent Citations (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPS60195644A (ja) * | 1984-03-16 | 1985-10-04 | Pentel Kk | 情報処理装置 |
| JPS60230237A (ja) * | 1984-04-27 | 1985-11-15 | Hitachi Ltd | 電算機プログラムのロ−デイング方法 |
| JPS61128326A (ja) * | 1984-11-28 | 1986-06-16 | Toshiba Corp | イメ−ジ表示処理方式 |
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH03136138A (ja) * | 1989-08-14 | 1991-06-10 | Internatl Business Mach Corp <Ibm> | プロローグと外部プロセスの間の通信方法及び装置 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US5666533A (en) | Program execution management using process enclaves which define the scope of high-level language semantics and threads improving cooperation between processes written in multiple languages | |
| EP0674783B1 (en) | An apparatus for executing a plurality of program segments having different object code types in a single program or processor environment | |
| US4084224A (en) | System of controlling procedure execution using process control blocks | |
| US6029207A (en) | Apparatus and method for dynamic linking of computer software components | |
| US5628016A (en) | Systems and methods and implementing exception handling using exception registration records stored in stack memory | |
| Dolan et al. | Concurrent system programming with effect handlers | |
| US6161217A (en) | Accurate method for inlining virtual calls | |
| US8060788B2 (en) | Real-time signal handling in guest and host operating systems | |
| JPH02272627A (ja) | デイジタル・コンピユータ・システムとその手続呼び出し方法 | |
| JPH0638234B2 (ja) | 変換されたプログラムコードのソース命令不可分性を保持するためのシステムおよび方法 | |
| JPH01154267A (ja) | 入出力機器制御プログラムのアドレス解決方法 | |
| JPH02188833A (ja) | アプリケーションとデータベース管理システム間の相互通信システム及び方法 | |
| JPH11237990A (ja) | 混合実行スタックおよび例外処理 | |
| JPH0887420A (ja) | プロセス・スレッドを管理する方法および装置 | |
| JPH01306923A (ja) | 異種言語間連絡方式 | |
| JPH07230386A (ja) | データ処理装置及び制御ルーチン呼出し方法 | |
| JP3322202B2 (ja) | 命令を処理するための方法およびシステム | |
| JPS63280338A (ja) | 論理型言語の結合方式 | |
| KR101244069B1 (ko) | 프로그램 코드 변환시 정밀한 예외 핸들링을 위한 방법 및장치 | |
| EP0417916B1 (en) | Procedure state descriptor system for digital data processors | |
| US20060253271A1 (en) | Method for facilitating transformation of multi-threaded process-oriented object code to event-based object code | |
| Vasconcelos et al. | A multithreaded typed assembly language | |
| US20060107257A1 (en) | Executing a native software routine in a virtual machine | |
| CN114969753B (zh) | 动态决定运行态的可加载系统模块实现方法及系统 | |
| JP7271957B2 (ja) | 動的リンク装置、動的ロード装置、計算機システム、動的リンク方法、動的ロード方法、動的リンクプログラム、および動的ロードプログラム |