A logikai programozás és alkalmazásai a Prolog programozási nyelvben

Abstract

A szakdolgozat tartalmazza a logikai programozás legfőbb sajátosságait, Prolog programozás alapelveit, és bemutatja a Prologgal megoldható feladatok megoldásait. A szakdolgozat három részből áll. Az első a nyelv elméleti alapjait tárgyalja. Minden tudományos bevezetés (jelölések, definíciók, tételek) helyett az elméleti alapokat példaprogramokon keresztül magyarázza el. A dolgozat második és harmadik fejezete feladatokat és azok megoldásait foglalja magában. Valamennyi feladathoz nyújt segítséget, a megoldáshoz szükséges legfontosabb ötleteket mutatja be, majd magát a teljes programot is közli. A programok egyszerűek, egyik sem hosszabb három oldalnál és úgy vannak összeválogatva, hogy felöleljék a Prolog programozás legfontosabb és legjellemzőbb tulajdonságait, illetve eszközeit. Mindegyik tartalmaz egy-két új programozási módszert vagy trükköt. A második fejezet a Prolog programozás kezdő lépéseinek elsajátításához nyújt segítséget, a legegyszerűbb programoktól a nehezebbek felé haladva. A harmadik fejezet kifejezetten logikai fejtörőkkel foglalkozik. Ezek megoldása már több ismeretet igényel, de a feladatok sokszínűsége és érdekessége mindenért kárpótolja a programozót.