prolog is one of those languages i've always been curious about but could never tolerate actually trying to use :blobcatgoogly:

the closest i came to this was admiring the mercury language, which itself is unapproachable cause all their docs are out of date