Answer Set Programming — Glossary — ThinkLLM