Bridging the gap between classical logic based formalisms and logic programs