Incremental constraint solver


A system in which a constraint solver is given constraints one at a time by an inference engine (as is found in Prolog). The solver adds the new constraint to an initially empty set of solved constraints. If the new constraint is consistent with the solved constraints it will be added to the set. If it was inconsistent, the inference engine backtracks. This is the basis of Constraint Logic Programming.
(1994-11-01)

Read Also:

  • Incrementalism

    [in-kruh-men-tl-iz-uh m, ing-] /ˌɪn krəˈmɛn tlˌɪz əm, ˌɪŋ-/ noun 1. a policy of making changes, especially social changes, by degrees; gradualism.

  • Incrementalist

    [in-kruh-men-tl-iz-uh m, ing-] /ˌɪn krəˈmɛn tlˌɪz əm, ˌɪŋ-/ noun 1. a policy of making changes, especially social changes, by degrees; gradualism.

  • Incrementally

    [in-kruh-men-tl, ing-] /ˌɪn krəˈmɛn tl, ˌɪŋ-/ adjective 1. increasing or adding on, especially in a regular series: small, incremental tax hikes. /ˌɪnkrɪˈmɛntəl/ adjective 1. of, relating to, using, or rising by increments adj. 1715, from increment + -al (1). Related: Incrementally.

  • Incremental plotter

    noun 1. a device that plots graphs on paper from computer-generated instructions See also microfilm plotter

  • Incremental recorder

    noun 1. (computing) a device for recording data as it is generated, usually on paper tape or magnetic tape, and feeding it into a computer


Disclaimer: Incremental constraint solver definition / meaning should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional. All content on this website is for informational purposes only.