Programming Language Theory: Difference between revisions
| Line 138: | Line 138: | ||
*** The single positive term corresponds to the LHS of a Prolog rule | *** The single positive term corresponds to the LHS of a Prolog rule | ||
*** The zero or more negative terms correspond to clauses on the RHS: | *** The zero or more negative terms correspond to clauses on the RHS: | ||
* The ''cut'' operator '!' controls searching: "No further options for the current rule ought be considered" | |||
** The declarative semantics are unaffected | |||
** Whether or not procedural semantics generate solutions might change, but not the solutions generated | |||
{| border="1" | {| border="1" | ||
! Prolog statement | ! Prolog statement | ||