TA0における論理型プログラミングとその処理方式

• 山崎, 憲一

• 奥乃, 博

• 竹内, 郁雄

Bibliographic Information

Other Title

• Logic Programming in TAO and Its Implementation
• ソフトウェア

Abstract

TAO は記号処理を伴う大規模なアプリケーションの記述のために開発されたマルチパラダイム言語であり 関数型 論理型 オブジェクト指向の3つのバラダイムから構成される本論文ではこのうち論理型パラダイムの機能と実現方法および他パラダイムとの融合方法について述べる本方式では 述語を関数の一種としたこと すべてのパラダイムのデータ構造を共通化したことなどによりこれまでの融合型言語に比べ より簡単にパラダイム間の相互呼び出しが可能となったまた実用性を重視して設計 実装しインタプリタで 10KLIPS コンパイラで 40KLIPS を達成した

Journal

• 情報処理学会論文誌

  情報処理学会論文誌 32 (9), 1090-1101, 1991-09-15

  Information Processing Society of Japan (IPSJ)

Keywords

• 論文

Details

• CRID: 1050564287842441856
• NII Article ID: 110002723239
• NII Book ID: AN00116647
• ISSN: 18827764
• Web Site: http://id.nii.ac.jp/1001/00014800/
• Text Lang: ja
• Article Type: journal article
• Data Source:
  • IRDB
  • CiNii Articles