Logic Programming - AI Glossary