What is a reduction?

Article View: comp.lang.prolog

Article #2191

#2191

From: Robert Scott
Date: Mon, 14 Dec 1992 14:10

25 lines
1164 bytes

Is there a standard definition of what constitutes a reduction
in a logic programming language?
In particular:

  - are system goal reductions counted?
  - are attempted goals in failed clauses also counted as reducitons?
  - are guard goals in committed-choice languages counted?
  - are output unifications in the body of a clause in committed-choice
    languages counted?

Also, is the a difference between a reduction and a logical inference?

I'd like to know the definitions of these terms so that I can
compare the speeds of various logic language implementations.




--
Rob Scott
---
Department of AI              email: rbs@aisb.ed.ac.uk
University of Edinburgh         Tel: 031-650-2718
EDINBURGH, EH1 1HN

Technical Details

Message-ID: <RBS.92Dec14141031@mink.uk.ac.ed.aisb>

Path: arc1-ca.pugleaf.net!sparky!uunet!pipex!warwick!uknet!edcastle!aifh!aifh!rbs

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!pipex!warwick!uknet!edcastle!aifh!aifh!rbs
From: rbs@uk.ac.ed.aisb (Robert Scott)
Newsgroups: comp.lang.prolog
Subject: What is a reduction?
Message-ID: <RBS.92Dec14141031@mink.uk.ac.ed.aisb>
Date: 14 Dec 92 14:10:31 GMT
Sender: news@aifh.ed.ac.uk (Network News Administrator)
Reply-To: rbs@aisb.ed.ac.uk
Distribution: comp
Organization: Dept AI, Edinburgh University, Scotland
Lines: 25