a basic framework for logic resolution