Check out my first novel, midnight's simulacra!

Programming Language Theory: Difference between revisions

From dankwiki
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/Programming_Language_Theory"