Prototype of PDR with activation literals