6. semester logical programming