Introdução aos conceitos sobre lógica d eprogramação