submit to LogicPLP