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 | ||
{| | {| border="1" | ||
! Prolog statement | ! Prolog statement | ||
! Logical interpretation | ! Logical interpretation | ||
Line 144: | Line 144: | ||
|- | |- | ||
| A :- B || B ⇒ A || ~B ∨ A | | A :- B || B ⇒ A || ~B ∨ A | ||
|- | |||
| A :- B, C, D || B ∧ C ∧ D ⇒ A || ~B ∨ ~C ∨ ~D ∨ A | |||
|} | |} | ||