checksamemolecules1(Molecule1,Molecule2) :- Molecule1 = [Bond|_Bonds], Bond= [Atom1,_Atom2], checksamemolecules2(Atom1, Molecule1, Molecule2). checksamemolecules2(Atom1, Molecule1, Molecule2) :-