@prefix pubblicazioni: . @prefix unitaDiPersonaleInterno: . @prefix prodotto: . unitaDiPersonaleInterno:MATRICOLA42097 pubblicazioni:autoreCNRDi prodotto:ID236614 . @prefix prodottidellaricerca: . @prefix istituto: . istituto:CDS003 prodottidellaricerca:prodotto prodotto:ID236614 . @prefix rdf: . @prefix retescientifica: . prodotto:ID236614 rdf:type retescientifica:ProdottoDellaRicerca , prodotto:TIPO1101 . @prefix rdfs: . prodotto:ID236614 rdfs:label "Transformation of Logic Programs: Foundations and Techniques (Articolo in rivista)"@en . @prefix xsd: . prodotto:ID236614 pubblicazioni:anno "1994-01-01T00:00:00+01:00"^^xsd:gYear . @prefix skos: . prodotto:ID236614 skos:altLabel "
Pettorossi, A., Proietti, M. (1994)
Transformation of Logic Programs: Foundations and Techniques
in The journal of logic programming
"^^rdf:HTML ; pubblicazioni:autori "Pettorossi, A., Proietti, M."^^xsd:string ; pubblicazioni:paginaInizio "261"^^xsd:string ; pubblicazioni:paginaFine "320"^^xsd:string ; pubblicazioni:numeroVolume "19-20"^^xsd:string . @prefix ns10: . prodotto:ID236614 pubblicazioni:rivista ns10:ID455108 ; skos:note "ISI Web of Science (WOS)"^^xsd:string ; pubblicazioni:affiliazioni "U. Roma Tor Vergata, IASI-CNR"^^xsd:string ; pubblicazioni:titolo "Transformation of Logic Programs: Foundations and Techniques"^^xsd:string ; prodottidellaricerca:abstract "We present an overview of some techniques which have been proposed for the transformation of logic programs. We consider the so-called \\\"rules + strategies\\\" approach, and we address the following two issues: the correctness of some basic transformation rules w.r.t. a given semantics and the use of strategies for guiding the application of the rules and improving efficiency. We will also show through some examples the use and the\npower of the transformational approach, and we will briefly illustrate its relationship to other methodologies for program development." ; prodottidellaricerca:prodottoDi istituto:CDS003 ; pubblicazioni:autoreCNR unitaDiPersonaleInterno:MATRICOLA42097 . ns10:ID455108 pubblicazioni:rivistaDi prodotto:ID236614 .