Logic language