public void ValueTest() { PrologCodeIntegerAtom prologCodeIntegerAtom = new PrologCodeIntegerAtom(123); int result = prologCodeIntegerAtom.Value; Assert.AreEqual(result, 123); }