What is a reduction?

Thread View: comp.lang.prolog

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by Robert Scott Mon, 14 Dec 1992 14:10

#2191

Author: 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

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads