Introduced resolver for a small logic
language.