Logic programs using semantic trees

  • Authors:

  • Ionela Maniu;Daniel Hunyadi;George Maniu

  • Affiliations:

  • Computer Science Department, Lucian Blaga University, Sibiu, Romania;Computer Science Department, Lucian Blaga University, Sibiu, Romania;Mannagement department, Spiru Haret University, Brasov, Romania

  • Venue:
  • ICCOMP'07 Proceedings of the 11th WSEAS International Conference on Computers
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

In order to design software that is intended to compute answers to queries that are in accordance with some logic programming semantics, one would like to offer up a formal specification of the software design which could be used profitably to construct the software, and one would want to be able to prove that the specification is in fact faithful to the semantics. This paper presents a constructive formal specification of semantic trees and truth-value determinations using semantic trees for disjunctive logic programs with negation as failure. This specification methodology directly supports the design of top-down interpreters for well-founded semantics.