Classes that represent logic programs and their models. They aggregate classes from the {@link lp.struct} package.