logic LP