A Practical View on Renaming

We revisit variable renaming from a practitioner's point of view, presenting concepts we found useful in dealing with operational semantics of pure Prolog. A concept of relaxed core representation is introduced, upon which a concept of prenaming is built. Prenaming formalizes the intuitive practice of renaming terms by just considering the necessary bindings, where now some passive "bindings" x/x may be necessary as well. As an application, a constructive version of variant lemma for implemented Horn clause logic has been obtained. There, prenamings made it possible to incrementally handle new (local) variables.Comment: In Proceedings WLP'15/'16/WFLP'16, arXiv:1701.0014

Volume 124: 1959

Annals of the Congregation of the Mission, or collection of edifying letters

Catechismus romanus, ex decreto Sacro Sancti Concilii Tridentini jussu Pii V Pontificis Maximi editus.

Port. a dos tintas con grab. xil.Grabs. xil. intercalados en texto.Copia digital : Junta de Castilla y León. Conserjería de Cultura y Turismo, 201

Blasii à Benjumea opera philosophica

Sign.: §-3§4, A-3G4Tít. de la antep.: "Blasii à Benjumea opera philosophica"La h. de lám. grab. calc. alegórico representando a la Provincia andaluza franciscana con retratos de San Francisco Solano y San DiegoTexto a dos col.Port. a dos tintasGrab. xil. inic., frisos y ornam.A 105/07