# Prolog

Skill · Programming Languages

Canonical page: https://career.thegoodapps.co/skills/prolog

Prolog is a declarative, logic-based programming language developed in the early 1970s, in which programs are expressed as facts and rules rather than sequential instructions. It is widely used in artificial intelligence, natural language processing, and expert systems, since its built-in inference engine can automatically search for solutions that satisfy given logical constraints. Computer scientists and researchers value it for symbolic reasoning tasks like theorem proving and rule-based knowledge representation.

## Roles that use Prolog

- [Software Engineer](https://career.thegoodapps.co/occupations/software-engineer) — 1

Related skills: [Haskell](https://career.thegoodapps.co/skills/haskell), [Artificial Intelligence](https://career.thegoodapps.co/skills/artificial-intelligence)

## Open roles requiring Prolog (1)

- [Senior Software Engineer, Ontology & Reasoning Systems (819)](https://career.thegoodapps.co/jobs/b3ca5cdb-764a-4494-8998-f01c1784b7ea/senior-software-engineer-ontology-reasoning-systems-819-at-protegrity) at [Protegrity](https://career.thegoodapps.co/organizations/protegrity) — Connecticut, New York · Remote, $237,600 – $266,700