Kenneth A. Bowen
New Generation Computing 3(4), pp. 359-383
1985
The nature of a metalevel extension of Prolog is outlined. The key features include the treatment of theories (databases) and metalevel names as first-class objects which may be the values of variables. The use of the power of these constructs in traditional knowledge representation is explored. In particular, it is shown how frames, semantic nets, scripts, message passing, and non-standard control can be represented.
parole chiave
Logic Programming; Meta-Level Inference; Knowledge Representation; Demo Predicate
rivista o collana
![book](/xwiki/resources/icons/silk/book.png?cache-version=1705487760000)
New Generation Computing
(NGC)