PX, a computational logic