I think Datalog would be even more suitable than Prolog for this use case.