prolog truth table genrated