Purpose of Prolog Semantics

Article View: comp.lang.prolog

Article #155

#155

From: Damon Feldman
Date: Wed, 08 Apr 1992 00:46

16 lines
1037 bytes

What are the advantages to the formal semantics of (pure) Prolog?
In particular what are the individual advantages of the fixpoint
semantics and the least model semantics?

My feeling is that the model-theoretic semantics (declaritive) is by
far more important than the others, because it allows the programmer
to think in the predicate calc. rather than mentally model the actions
of the interpretor.  The fixpoint semantics is then little more than a
link to the least model semantics.  I'd like to hear what other people
think about this.

Damon

-- 
Damon Feldman                  feldman@rex.cs.tulane.edu
Computer Science Dept.         Tulane University, New Orleans LA, USA

Technical Details

Message-ID: <10805@cs.tulane.edu>

Path: arc1-ca.pugleaf.net!sparky!uunet!spool.mu.edu!tulane!rex!feldman

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!spool.mu.edu!tulane!rex!feldman
From: feldman@cs.tulane.edu (Damon Feldman)
Newsgroups: comp.lang.prolog
Subject: Purpose of Prolog Semantics
Message-ID: <10805@cs.tulane.edu>
Date: 8 Apr 92 00:46:04 GMT
Article-I.D.: cs.10805
Organization: Computer Science Dept., Tulane University, New Orleans, LA
Lines: 15