Archive Notes
Search
Search
Dark mode
Light mode
Reader mode
Explorer
Home
❯
University
❯
1. Glossary
❯
Propositional definite clause program
Propositional definite clause program
Jun 18, 2026
1 min read
A
propositional definite clause program
is a set of
definite rules
.
Graph View
Backlinks
Resolution algorithm
Week S2.3. Horn Clauses and Logic Programming