Reviews for Logic Based Program Synthesis and Transformation

The average rating for Logic Based Program Synthesis and Transformation based on 2 reviews is 3.5 stars.

Review # 1 was written on 2020-08-09 00:00:00 Francisco Horna PARADIGM FOR SOLVING COMBINATORIAL SEARCH - Verbindung von Constraint-Lösen (Lösungsraum-Beschränken) und Suchverfahren (Backtracking) auf mathematischer Basis (Logikprogrammierung) 3.7 Sterne Verdient vielleicht mehr, weil es auf recht wenig Seiten doch viel Information unterbringt. Bewegt sich im theoretischen Urschleim und ist aufs erste Lesen etwas anstrengend, aber ganz gut gegliedert, verlangt paar Logikkenntnisse. Für mehr Klarheit muss ich das Gelesene erst nacharbeiten und ausprobieren; kann mir gut vorstellen, dass die theor. Ausführlichkeit noch nützlicher wird. Das Buch ist 20 Jahre alt. Keine Ahnung, ob Prolog heute noch das Maß der Constraint-Dinge ist (das freie SWI Prolog wird noch am aktivsten betreut, ECLiPSe evtl. wg. besserem Constraint-Handling). Mittlerweile gibt es für alle Standardprogrammiersprachen Libs/Erweiterungen für Constraint-Programmierung, allerdings sind deklarativ-logische Programmiersprachen wohl weniger "artfremd" (kürzere, elegantere Programme). Weiteres siehe Goodreads-Statusverlauf (Reading Progress).

Review # 2 was written on 2017-04-05 00:00:00 Deborah Hanson In comparison to "Introduction to Algorithms" (the other algorithm book I had significant exposure to) this one is faster to read, easier to digest and more tailored towards applications. I found the "Hitchhiker's Guide to Algorithms" in the back to be extremely useful if you really find yourself tackling an algorithmic problem in practice. The main part (maybe skipping/skimming down a few chapters) is a very good preparation for algorithm-heavy job interviews (e.g. Google, Facebook etc ...). Very much recommended.