A logika programozás buktatói: négy gyakori hiba Prologban

A Prolognak van egyfajta lázadó vonzereje. Míg a fejlesztők nagy része az imperatív vagy objektumorientált nyelvek felé fordul, a Prolog-programozók saját útjukat járják. Deklaratív logikával dolgoznak, ami teljesen más megközelítést igényel. Ez szellemileg izgalmas – egészen addig, amíg valami el nem romlik.

A jó Prolog-kód és a problémás kód között néhány alapelv dönt. Ezek megsértése könnyen vezethet hibás eredményekhez, hiányzó megoldásokhoz vagy nehezen tesztelhető kódhoz. Nézzük meg a négy leggyakoribb hibát.

A rejtett megoldásgyilkos

Amikor egy predikátum jól működik konkrét bemenetekkel, még nem garantálja, hogy általánosan is helyesen fog működni. Sokszor hónapokkal később derül ki, hogy általánosabb lekérdezésre már nem ad vissza minden érvényes eredményt.

Ez gyakran a vágó operátor (!/0), az if-then-else szerkezet ((->)/2) és a típusellenőrző predikátumok miatt történik. Ezek kényelmesek,却却却却却却却却

A vágó operátor például megőrzi a procedurális gondolkodást,却却却却却却却却

A deklaratív megoldás egyszerűbb: tiszta adatstruktúrákat használjunk, a dif/2 és hasonló kényszerpredikátumokat, valamint a magasabb rendű predikátumokat. Így a kód általánosabb és könnyebben tesztelhető.

Az adatbázis-mutáció veszélyei

Korai Prolog-fejlesztők gyakran felfedezik az assertz/1 és retract/1 predikátumokat. Ezekkel futás közben módosítható a tudásbázis, így a kód "rugalmasabb" lesz.

Ez azonban gyakran láthatatlan függőségeket hoz létre. Ha a predikátumok végrehajtási sorrendja megváltozik, a kód hirtelen hibásan működik. A állapot nem láthatóan átfolyik a kódban,而是隐藏在全局数据库中. A tesztelés pedig nehéz, mert minden teszt esetleg maradékot hagy, hogy következő teszteket befolyásolja.

A b

A bessere Lösung besteht darin, den State explizit durch die Argumente zu führen. L

A bessere Lösung besteht darin, den State explizit durch die Argumente zu führen. L