Lines Matching defs:alternative
336 In that case, asking for more solutions may lead to an alternative
448 \item[Clause] One alternative definition for when a predicate is true.
518 i.e.\ they define alternative ways in which the predicate can be true.
519 The simplest case is a collection of alternative facts:
526 The following defines the ancestor/2 predicate by giving two alternative
655 alternative -- this is referred to as a {\it choice-point}.
678 Responding with ';' will cause \eclipse\ to try to find alternative
680 the most recent choice-point, i.e. to seek an alternative to
914 In the pure computational model of Prolog, alternative solutions are
952 \item[prune] Throw away all alternative solutions to the goals to the left of
987 \subsection{Prune alternative solutions}
999 is not tried for alternative solutions. The cut will also commit the execution
1098 Recall that backtracking causes alternative choices to be explored, if
1100 in the poredicate definition, but alternative choices may come from
1102 (alternative) solutions.
1154 Consider the following alternative definition of \texttt{ancestor/2}: