ASPIC: Proof-of-Concept ASP to Picat Transpiler | Digital Library | PAMCET | PAMCET