Check out my first novel, midnight's simulacra!
Programming Language Theory: Difference between revisions
From dankwiki
(→Prolog) |
(→Prolog) |
||
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 |