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