resolution, and-or-trees, and forward chaining Flashcards