Οι μετασχηματισμοί λογικών προγραμμάτων είναι μια πολύ σημαντική μεθοδολογία για την ανάπτυξη λογισμικού. Η βασική ιδέα έχει ως εξής: Αρχικά, υλοποιούμε ένα πρόγραμμα το οποίο μπορεί να κατασκευαστεί και να συντηρηθεί ...