Yes: Coding Guidelines for Prolog
I try to keep such things in the post: Useful Prolog references
See: check.pl
Jan obviously knows more but that is where I would start.
Also Paulo has a lot of awesome checks built-in to Logtalk.
I don’t have enough expertise to answer this one.
Personally I don’t know but consider the problem from the other way around. Can the other language be emulated with Prolog?
I know others have much more details on this but this was just something quick to see what is out there.