Stack Overflow
Stack Overflow

Questions tagged [choice-point]

Use choice point with logic programming languages such as Prolog or Mercury. A choice point is when there is more than one possible search path to a solution.

References

2 questions
5
votes
2 answers

Choice points and Redo's in Prolog

After asking a question here about when exactly a Redo is called in Prolog with new variables, or when it is attempted with the same, I thought I figured it out. In the following piece of code, however, I thought that an additional Redo were to be…
milvala
  • 311
  • 2
  • 13
1
vote
2 answers

When is the Redo-port called with new variables in Trace/0 and when not?

During my implementation of the Adventure game in Prolog I was wondering when the redo-port is called with new variables during backtracking and when it is called with the same ones? For example, I have the following knowledge…
milvala
  • 311
  • 2
  • 13