dankwiki

Programming Language Theory: Difference between revisions

← Older editNewer edit →

Dank (talk | contribs)

2 user groups
11,302 edits
Line 141: Line 141:
! Prolog statement
! Prolog statement
! Logical interpretation
! Logical interpretation
! Horn clause
! Horn clause (Implicitly-quantified CNF)
|-
|-
| A :- B || B ⇒ A || ~B ∨ A
| A :- B || B ⇒ A || ~B ∨ A
Retrieved from "https://nick-black.com/dankwiki/index.php?title=Programming_Language_Theory"