Tools for the four-valued logic programming language BelLog