抄録
The concurrent object-oriented language MENDEL (MEta iNferential system DEscription Language), which is based on Prolog, is described. The characteristics of MENDEL include a meta-inference mechanism, object concurrency, and propositional temporal logic. MENDEL's object generation method is outlined.
| 本文言語 | English |
|---|---|
| ホスト出版物のタイトル | Proceedings - IEEE Computer Society International Conference |
| 編集者 | Alan G. Bell |
| 出版社 | IEEE |
| ページ | 230-234 |
| ページ数 | 5 |
| ISBN（印刷版） | 0818606924 |
| 出版ステータス | Published - 1986 1月 1 |
| 外部発表 | はい |
出版物シリーズ
| 名前 | Proceedings - IEEE Computer Society International Conference |
|---|
ASJC Scopus subject areas
- 工学（全般）