Abstract
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.
| Original language | English |
|---|---|
| Title of host publication | Proceedings - IEEE Computer Society International Conference |
| Editors | Alan G. Bell |
| Publisher | IEEE |
| Pages | 230-234 |
| Number of pages | 5 |
| ISBN (Print) | 0818606924 |
| Publication status | Published - 1986 Jan 1 |
| Externally published | Yes |
Publication series
| Name | Proceedings - IEEE Computer Society International Conference |
|---|
ASJC Scopus subject areas
- Engineering(all)