Prologin neljä perusvirhettä

Prolog houkuttelee monia kehittäjiä juuri siksi, että se poikkeaa tavanomaisesta ohjelmoinnista. Sen sijaan, että ohjelma suoritettaisiin askel askeleelta, ratkaisut löydetään loogisten sääntöjen avulla. Tämä lähestymistapa on kiinnostavaa, mutta myös vaativaa.

Monet Prolog-ohjelmat epäonnistuvat, koska kehittäjä rikkoo muutamia keskeisiä periaatteita. Tässä artikkelissa käydään läpi neljä tyypillistä virhettä, jotka johtavat hauraaseen tai virheelliseen koodiin.

Ratkaisujen katoaminen

Usein ongelma syntyy, kun koodi toimii vain tietyillä syötteillä. Jos ohjelmaa käytetään laajemmin, se saattaa jättää osan tuloksista tuottamatta.

Tämä tapahtuu yleensä, kun käytetään rakenteita kuten cut-operaattoria (!), if-then-else-rakenteita tai tyyppitarkistuksia. Nämä keinot rajoittavat ohjelman toimintaa, sillä ne eivät enää toimi puhtaan loogisen päättelyn tavoin. Koodi toimii hetkellisesti,但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但but但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但but但但但但但但但但但但但但但but但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但but但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但but但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但but但但但但但但但但但但但但但但但但但但但but但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但但but但但但但但但但但0