A dolgozat célja az, hogy bemutassa a logikai programozást mint ismeretreprezentációs technikát és rezolúciós tételbizonyítást mint következtetőgépet és azt, hogy hogyan működik mindez egy szakértői rendszer felépítése során. Ehhez az első fejezetben először áttekintjük a logika, illetve a logikai programozás elméleti alapjait, azon belül is a fontosabb fogalmakat, tételeket és eljárásokat. A második fejezetben, a dolgozat magáról a szakértő rendszerekről ad egy általános ismertetést érintve azok felépítését, működését és alkalmazási körét. Az utolsó részben ezen ismereteket ötvözzük egy gyakorlati alkalmazás során. Egy saját banki szakértő rendszert fogunk bemutatni, amely a lakossági hitelezést, azon belül is a lakáshitelekkel kapcsolatosan ad széleskörű tájékoztatást.