Programming Language Theory: Difference between revisions
| Line 137: | Line 137: | ||
*** A clause with no negative terms corresponds to a Prolog fact | *** A clause with no negative terms corresponds to a Prolog fact | ||
*** 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: | ||
{| border="1" | {| border="1" | ||
! Prolog statement | ! Prolog statement | ||