Stable models and an alternative logic programming paradigm

Details Stable models and an alternative logic programming paradigm Stable models and an alternative logic programming paradigm

1998-09-18

arxiv.org/abs/cs/9809032v1

The Logic Programming Paradigm, K.R. Apt, V.W. Marek, M. Truszczynski, D.S. Warren (eds.), pp. 375-398. Springer-Verlag, 1999

Computer Science

Logic in Computer Science

21 pages

Scientific paper

In this paper we reexamine the place and role of stable model semantics in logic programming and contrast it with a least Herbrand model approach to Horn programs. We demonstrate that inherent features of stable model semantics naturally lead to a logic programming system that offers an interesting alternative to more traditional logic programming styles of Horn logic programming, stratified logic programming and logic programming with well-founded semantics. The proposed approach is based on the interpretation of program clauses as constraints. In this setting programs do not describe a single intended model, but a family of stable models. These stable models encode solutions to the constraint satisfaction problem described by the program. Our approach imposes restrictions on the syntax of logic programs. In particular, function symbols are eliminated from the language. We argue that the resulting logic programming system is well-attuned to problems in the class NP, has a well-defined domain of applications, and an emerging methodology of programming. We point out that what makes the whole approach viable is recent progress in implementations of algorithms to compute stable models of propositional logic programs.

Affiliated with

Also associated with

No associations

Rating

Stable models and an alternative logic programming paradigm does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Stable models and an alternative logic programming paradigm, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Stable models and an alternative logic programming paradigm will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-230790