文献

J-GLOBAL ID：200902189655185213   整理番号：99A0861859

システム記述 Teyjus λPrologのコンパイラと抽象マシンベース実装

System Description: Teyjus-A Compiler and Abstract Machine Based Implementation of λProlog.

著者 (2件)： NADATHUR G (Univ. Chicago, IL) ,  MITCHELL D J (Univ. Chicago, IL)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 1632  ページ： 287-291  発行年： 1999年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 解説  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 論理プログラミング言語λPrologは高階世襲Harrop式...

シソーラス用語： *論理プログラミング ,...

   続きはJDreamIII（有料）にて  {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=99A0861859&from=J-GLOBAL&jstjournalNo=H0078D") }}

分類 (2件)： 人工知能  (JE08000Z) ,  言語プロセッサ  (JD03040F)

タイトルに関連する用語 (5件)： 記述 ,  Prolog ,  コンパイラ ,  抽象マシン ,  実装