GenAI makes code cheap, so spend the time saved on modelling and verification: sketch your next app in Prolog first and find the holes before writing production code.
Then let Claude translate the model into Python, TypeScript or Rust, and keep the Prolog queries as tests.