ちょっとすみません、話をぶった切ってしまいますが……

写像と関係の違いについて、クドいぐらいに説明している本とかってありますか？
あるいはどの分野を調べれば良いか教えて頂けると助かります。

Prologを知って興味が出て来たんですけど、何を調べればいいか判らなくて。