Skill
Prolog
Programming Languages
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.
Open roles requiring Prolog (1)
Senior Software Engineer, Ontology & Reasoning Systems (819)
Protegrity
Connecticut, New York · $237,600 – $266,700 · Remote
Design and build the ontology and reasoning layer for Protegrity's data security platform, formalizing complex domains into entities and rules that support deterministic machine reasoning with full traceability. This role suits engineers with strong foundations in logic, graph systems, and formal modeling who want to bridge LLM-powered data extraction with auditable, explainable reasoning.
Listed on Protegrity’s careers site · Apply there ↗
Roles that use Prolog
Related skills
Curated neighbors in the taxonomy, whether or not employers ask for them together.