Just write down what it says.
are_married(a,b).
likes(b,c).
And so on. We've used two names of predicates so far.
In Prolog, atoms are denoted by identifiers starting with a lower case letter. Identifiers starting with an upper case letter or an underscore _
denote logical variables.