decl prog - clausal logic