Implementing Belnap-logical conflation and implication operators in answer set programming