Datalog
article-link
What links here
Predicate variable
Second-order logic
article-link
Predicate (logic)
article-link
Universal quantification
article-link
Scientific method
article-link
Frame problem
article-link
WikiHQWikiHQPredicate variable
article-link
article-link
article-link
article-link
article-link
article-link