Un Linguaggio per la Descrizione di Leggi di Moto