This seems quite interesting. As soon as I reached the boolean circuit example query, I immediately thought of Prolog. Is there a known way to do something simi

This seems quite interesting. As soon as I reached the boolean circuit example query, I immediately thought of Prolog. Is there a known way to do something similar in logic languages? Using discrete ranks instead of continuous probabilities seems like a nice fit for such a setting.