url('https://fonts.googleapis.com/css2?family=Raleway:ital,wght@0,100..900;1,100..900&family=Source+Serif+4:ital,opsz,wght@0,8..60,200..900;1,8..60,200..900&display=swap');

(min-width: 768px) {
  .article.article-md h2 {
    font-size: 24px;
  }
}

(min-width: 1024px) {
  .article.article-md h2 {
    font-size: 28px;
  }
    .heading-button {
    width: 50px;
    height: 50px;
  }
  .heading-button-arrow {
    font-size: 28px;
    padding: 12px 8px
  }
}

(max-width: 768px) {
  [data-root-node="true"] {
    --margin-left: 0px !important;
    --margin-right: 0px !important;
  }
  .contained { 
    padding: 0px 16px;
  }

  [data-tid="h"] {
    margin-left: var(--margin-left);
    margin-right: var(--margin-right);
  }
  .auto-column-container {
    column-count: 1;
  }
  .pullquote, .pullquote.left, .pullquote.right{
    float: none;
    width: 100%;
    text-align: center;
    margin-left: 0;
    margin-right: 0;
  }

  .footer-content { 
    grid-template-columns: repeat(3, 1fr);
  }

  .footer-about {
    grid-column: 1 / span 3;
  }
}

Constants in ASP allow value substitution at evaluation time, enabling flexible program parameterization and reuse through the 

There are many cases in which one wants to set a value at evaluation-time rather than while writing the program or perhaps the same value is used in many rules and one doesn't want to risk missing a substitution. These can be solved using 

 directive that allows the programmer to substitute some atom with a constant while grounding.

Constants can be split from the bulk of the rules to allow the program not to be visually littered with these declarations:

 as a constant then it is treated as a normal atom and there is no way to add three to an atom hence the warning.

 and processed together, the desired result 

 it would be necessary to write many statements similar to 

. In general, this is desirable since it affords the opportunity to provide a write-up explaining the case or its results.

The answer set elements in these workspaces allow the author to specify the atoms and their substitution values. This allows multiple cases to be quickly and easily tested:

One word of caution when using constants 

 in the answer set elements: if one were to only look at 

, one would scratch their head since without knowing that 

 is a constant, it is an invalid program (as witnessed when running it by itself). Having 

 is a constant. We recommend explicitly stating 

 one constant in the worksheet so that it is obvious which atoms are constants and also what a valid value for that constant might be.

Constants in ASP allow value substitution at evaluation time, enabling flexible program parameterization and reuse through the #const directive.

ASP-06 | Constants

Substituting Constants

Please Note!

More from Building Blocks in Surface Tension

Rules Part II

Choice Rules

Join us on Discord

About Us

Info

Legal

Social