)]}'
{
  "id": "e9d42c8afb3f1519b1a94120c276ef02f82847fb",
  "repo": "prolog-cafe",
  "revision": "6ea47f33aaec4ef109c522a2a0c1130651ee4c8d",
  "path": "examples/benchmarks/holmer/prover.pl"
}