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. |

Browse

Incredibility

Incredible

Incredibleness

Incredibly

Incredited

Incredulity

Incredulous

Incredulously

Incredulousness

Incremable

Incremate

Incremation

Increment

Incremental

incremental analysis

incremental backup

**-- incremental constraint solver --**

incremental cost

Incremental Prototyping Technology for Embedded Realtime Systems

Increpate

Increpation

Increscent

Increst

Incriminate

incriminating

incriminatingly

Incrimination

Incriminatory

Incroyable

Incruental

Incrust

Incrustate

Incrustation

Incredible

Incredibleness

Incredibly

Incredited

Incredulity

Incredulous

Incredulously

Incredulousness

Incremable

Incremate

Incremation

Increment

Incremental

incremental analysis

incremental backup

incremental cost

Incremental Prototyping Technology for Embedded Realtime Systems

Increpate

Increpation

Increscent

Increst

Incriminate

incriminating

incriminatingly

Incrimination

Incriminatory

Incroyable

Incruental

Incrust

Incrustate

Incrustation