Return to Article Details ALPES: an advanced logic programming environment Download Download PDF