Kenneth A. Bowen

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.

(keywords) Logic Programming; Meta-Level Inference; Knowledge Representation; Demo Predicate
New Generation Computing 3(4), pages 359-383, 1985, Springer-Verlag
@article{metaprogkr-ngc3,
Author = {Bowen, Kenneth A.},
Doi = {10.1007/BF03037077},
Issn = {0288-3635},
Journal = {New Generation Computing},
Keywords = {Logic Programming; Meta-Level Inference; Knowledge Representation; Demo Predicate},
Number = 4,
Pages = {359--383},
Publisher = {Springer-Verlag},
Title = {Meta-level Programming and Knowledge Representation},
Url = {http://link.springer.com/article/10.1007/BF03037077},
Volume = 3,
Year = 1985}

Tags:
    

Publication

Meta-level Programming and Knowledge Representation

— status

published  

— authors

Kenneth A. Bowen

URLs & IDs

original page

— DOI

10.1007/BF03037077

— print ISSN

0288-3635

BibTeX

— BibTeX ID
metaprogkr-ngc3
— BibTeX category
article

Partita IVA: 01131710376 - Copyright © 2008-2021 APICe@DISI Research Group - PRIVACY