% From The Art of Eyepl, Chapter 16.
socket(Name, Contract).
plug(Provider, Name).
provides(Signature).
requires(Signature).