Mycin
article-link
What links here
Backward chaining
Retrograde analysis
article-link
Forward chaining
article-link
Inference engine
article-link
Symbolic artificial intelligence
article-link
How to Solve It
article-link
Inference
article-link
Declarative programming
article-link
Rete algorithm
article-link
Solved game
article-link
Planner (programming language)
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