[barbersturgeon]

Sounds like prolog or minikanren would suit this - built in search is great as long as you don't accidentally make it exponential tine complexity