Definition

A term used to describe a person or tool that specializes in or is used for creating, refining, or understanding Prolog, a logic programming language.