Backward chaining
article-link
What links here
Forward chaining
OPS5
article-link
CLIPS
article-link
Inference engine
article-link
Computer-aided maintenance
article-link
Symbolic artificial intelligence
article-link
Functional magnetic resonance imaging
article-link
Declarative programming
article-link
Rete algorithm
article-link
Planner (programming language)
article-link
Modus ponens
article-link
Logic programming
article-link
Knowledge representation and reasoning
article-link
If and only if
article-link
Expert system
article-link
Artificial intelligence
article-link