Archive Notes
Search
Search
Dark mode
Light mode
Reader mode
Explorer
Home
❯
University
❯
1. Glossary
❯
Rule
Rule
Jun 18, 2026
1 min read
A definite clause with some negative literals is called a
rule
.
Graph View
Backlinks
2. Clauses and Substitutions