A logic programming language based on formal logic and automated reasoning.
No jobs currently available for Prolog
