برولوغ

Prolog is a high-level logic programming language primarily used in artificial intelligence and computational linguistics. It is based on formal logic and enables programmers to define facts, rules, and queries to solve complex problems. Prolog is widely applied in expert systems, natural language processing, knowledge representation, and automated reasoning.