Title: Two semantics for definite meta-programs, using the non-ground representation
Authors: Martens, Bern
De Schreye, Danny
Issue Date: 1995
Publisher: MIT Press, Cambridge, MA
Host Document: Meta-Logics and Logic Programming pages:57-81
Abstract: We study the semantics of definite vanilla meta-programs in the
context of a Prolog-style non-typed approach, using a non-ground
representation for object level variables. The two best known
semantics for definite Logic Programs are considered: least Herbrand
semantics and S-semantics. In both cases we study the relation between
the semantics of the object program and the corresponding vanilla
meta-program. We also extend the results to various enhanced vanilla
meta-programs, multi-level meta-programs, and limited forms of
amalgamation. We discuss the benefits and limitations of these
semantics, both with respect to each other and with respect to other
approaches taken in the literature.
ISBN: 0-262-01152-2
Publication status: published
KU Leuven publication type: IHb
Appears in Collections:Informatics Section

Files in This Item:

There are no files associated with this item.

Request a copy


All items in Lirias are protected by copyright, with all rights reserved.