Anonymous

Programming Language Theory: Difference between revisions

From dankwiki
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