Propositional Logic Program

From GM-RKB

(Redirected from propositional logic program)

Jump to navigation Jump to search

A Propositional Logic Program is a logic program within a propositional logic.

See: Business Rules Program, First-Order Logic Program, Propositional Logic Language.

Retrieved from "http://www.gabormelli.com/RKB/index.php?title=Propositional_Logic_Program&oldid=782301"

Concept