JPH0310322A - 論理型言語編集装置 - Google Patents

Abstract

(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。

Description

【発明の詳細な説明】 ［発明の目的］ （産業上の利用分野） 本発明は例えばＰｒｏｌｏｇなどの論理型言語のプログ
ラム編集に好適な論理型言語編集装置に関する。

（従来の技術） Ｐｒｏｌｏｇは、１階述語論理と呼ばれる論理体系の上
に基礎を置いているプログラミング言語であり、プログ
ラムが論理的として解釈でき、その実行が証明の過程に
対応していることから論理型言語と呼ばれる。

第３図はＰｒｏ　ｌｏｇによって構成されるプログラム
の一例を示す図であり、各プログラムステップの先頭に
ある　ａｂｃ’　は述語、この述語に続く括弧内の文字
は変数、’ＣＲ’　は改行を示すものとする。この第３
図から分るように、Ｐｒｏｌｏｇによって構成されるプ
ログラムでは、例えば’ａｂｃ（’　なとのような同一
述語パターンて始まる行（プログラムステップ）が連続
するケースが多い。ところが、従来のエディタでは、上
記のような同一述語パターンへの考慮がなく、各文字を
逐次入力しなければならなかった。

（発明が解決しようとする課題） 上記したように、従来、論理型言語によるプログラム編
集において、各文字を逐次入力しなければならなかった
ため、各行で連続するケースの多い同一述語パターンに
対する入力に無駄があった。

本発明は上記のような点に鑑みなされたもので、同一述
語パターンの入力にかかる手間を省くことができ、効率
の良いプログラム編集が可能な論理型言語編集装置を提
供することを目的とする。

［発明の構成コ （課題を解決するための手段） すなわち、本発明に係る論理型言語編集装置は、例えば
キーボードを通して１行分のプログラムステップが入力
された際に、当該行の先頭が述語パターンで始まってい
るか否か判断し、述語パターンで始まっている場合には
、次行のプログラムステップの入力に際し、前行と同じ
述語パタンを出力し、これを特定の制御キーの入力に応
じてクリアするようにした。

（作用） 上記の構成によれば、前行の述語パターンか自動的に次
行に出力される。したがって、再度同じ述語パターンを
入力する手間が省け、論理型言語のプログラム入力が従
来より容易になる。

（実施例） 以下、図面を参照して本発明の一実施例に係る論理型言
語編集装置を説明する。

第１図はその回路構成を示すブロック図である。

図中１１はキーボードであり、論理型言語のプログラム
を構成するプログラムステップの各文字の入力を始め、
各コマンドを入力するための入力装置で、例えば「改行
キー」、「クリアキー」等の制御キーを有する。１２は
デイスプレィ装置であり、編集されたプログラムの表示
を行なう。１３は人出力制御装置であり、キーボード１
１からの入力とデイスプレィ装置１２への出力を制御す
る。

１４は中央演算装置であり、この装置全体の制御を司る
。１５はメモリであり、第２図に示すフローチャートを
実現するためのプログラムを始め、論理型言語編集処理
に必要な各種のデータを記憶しており、その一部の領域
に編集データを一時格納するためのバッファ】５ａを有
する。１Ｂは外部記憶装置であり、編集データ等をファ
イルとして保存するもので、例えばフロッピーディスク
装置である。

次に、第２図に示すフローチャートを参照して同実施例
の動作を説明する。

まず、ユーザからのキーボード入力を待つ（ステップＳ
ｌ）。そして、その入力内容に応じて以下のような４通
りの処理を実行する。

■　通常データの場合（ステップＳ２）バッファＬ５ａ
にそのデータ（文字）を順次格納していく　（ステップ
Ｓ３）。

■　改行キーの場合（ステップ５４） １行分のプログラムステップが入力されたものとして、
バッファ１５ａに格納された当該行のプログラムステッ
プの文をＰｒｏｌｏｇ文として解析しくステップＳ５）
、この結果、行の先頭が′述語（°て示される述語パタ
ーンで始まっている場合には（ステップＳ６）、次行の
入力に際し、バッファ１５ａに前行と同じ述語パターン
からなる゛述語（゛を出力する（ステップＳ７）。

■　クリアキーの場合（ステップＳ８）ステップＳ７に
おいて出力された′述語（を無効とするため、その行の
バッファ１５ａの内容をクリアする（ステップＳ９）。

■　その他の場合（ステップＳ　１０）従来処理と同様
にそのときのキー入力に応じた処理を行なう。

このような処理により、ユーザが、 ａ　ｂ　ｃ　（Ｘ、Ｙ）：　−（ＣＲ）と入力したとす
ると（’ＣＲ’　は改行を示すものとする）、次行の入
力に際し、処理系側で自動的に前行と同じ述語パターン
を出力して、デイスプレィ装置１２の表示画面に ａｂｃ　（ と表示する（−°　は表示画面上におけるカーソル位置
）。

このようにして表示された述語パターンは、りリアキー
の入力によって消去（クリア）される。

したかって、ユーザは、この述語パターンが思い通りな
らば（このケースが多い）、このままプログラム入力を
続け、思い通りでないならば、クリアキーを入力してａ
ｂｃ（’　を消去し、通常通り行の先頭からプログラム
入力を行なう。この場合、行の先頭に、例えばｅｆｇ（
’　と入力すれば、以後、新たな述語パターンが入力さ
れるまで、’ｅｆｇ（’　が同一述語パターンとして用
いられ、次行に出力される。

このように、前行と同じ述語パターンが次行に自動的に
出力されるため、同一述語パターンの入力にかかる手間
を省くことができ、論理型言語でのプログラム編集の効
率が大幅に向上する。

なお、本実施例では、Ｐｒｏｌｏｇでのプログラム編集
について説明したが、他の論理型言語でも上記実施例と
同様の手法にて応用できるものである。

［発明の効果］ 以上のように本発明によれば、次行のプログラムステッ
プの入力に際し、前行と同し述語パターンか出力される
ため、同一述語パターンの入力にかかる手間を省くこと
ができ、効率の良いプログラム編集が可能となる。

【図面の簡単な説明】

第１図は本発明の一実施例に係る回路構成を示すブロッ
ク図、第２図は同実施例の動作を説明するためのフロー
チャー１・、第３図は従来におけるＰｒｏｌｏｇでのプ
ログラムの一例を示す図である。 １１・・・キーボード、１２・・・デイスプレィ装置、
１３・・・入出力制御装置、１４・・・中央演算装置、
１５・・メモリ、１５ａ・・・バッファ、１６・・・外
部記憶装置。

Claims (1)

1. 【特許請求の範囲】 論理型言語のプログラムを構成するプログラムステップ
   の各文字を入力するための入力手段と、この入力手段を
   通じて１行分のプログラムステップが入力された際に、
   当該行の先頭が述語パターンで始まっているか否か判断
   し、述語パターンで始まっている場合には、次行のプロ
   グラムステップの入力に際し、前行と同じ述語パターン
   を出力する述語出力手段と、 特定の制御キーの入力に応じて上記述語出力手段によっ
   て出力された述語パターンをクリアするクリア手段とを
   具備したことを特徴とする論理型言語編集装置。