Delay modelexpansion for symbols that only occur in the head of definitions

[Joachim Jansen]

For these symbols, it is possible to delay their evaluation until a two-valued structure has been found for all other symbols. With this two-valued structure, the evaluation of these symbols can be done (with XSB).

[Broes De Cat]

Fixes #369: Support to postprocess definitions that do not have to be considered during search (or even not at all).

Implementation done using meta-level computation (still custom).

→ <<cset 89c335c7ef5f>>

[Broes De Cat]

Fixes #369: Support to postprocess definitions that do not have to be considered during search (or even not at all).

Implementation done using meta-level computation (still custom).

→ <<cset dfb37f8138f3>>

[Broes De Cat]

Fixes #369: Support to postprocess definitions that do not have to be considered during search (or even not at all).

Implementation done using meta-level computation (still custom).

→ <<cset addb1016c08f>>

[Broes De Cat]

Fixes #369: Support to postprocess definitions that do not have to be considered during search (or even not at all).

Implementation done using meta-level computation (still custom).

→ <<cset d1e76a2636be>>

[Broes De Cat]

Fixes #369: Support to postprocess definitions that do not have to be considered during search (or even not at all).

Implementation done using meta-level computation (still custom). Added support for checking approximatively whether definition is total.

→ <<cset 8969d8e4fd25>>

[Broes De Cat]

Fixes #369: Support to postprocess definitions that do not have to be considered during search (or even not at all).

Implementation done using meta-level computation (still custom). Added support for checking approximatively whether definition is total.

→ <<cset da35f8bc525c>>

[Broes De Cat]

Fixes #369: Support to postprocess definitions that do not have to be considered during search (or even not at all).

Implementation done using meta-level computation (still custom). Added support for checking approximatively whether definition is total.

→ <<cset 16e173a8a197>>

[Broes De Cat]

Fixes #369: Support to postprocess definitions that do not have to be considered during search (or even not at all).

Implementation done using meta-level computation (still custom). Added support for checking approximatively whether definition is total.

→ <<cset d45086538a51>>

[Broes De Cat]

Fixes #369: Support to postprocess definitions that do not have to be considered during search (or even not at all).

Implementation done using meta-level computation (still custom). Added support for checking approximatively whether definition is total.

→ <<cset c016b0e307d7>>

[Broes De Cat]

Fixes #369: Support to postprocess definitions that do not have to be considered during search (or even not at all).

Implementation done using meta-level computation (still custom). Added support for checking approximatively whether definition is total.

→ <<cset cd8d4396402e>>

[Broes De Cat]

Fixes #369: Support to postprocess definitions that do not have to be considered during search (or even not at all).

Implementation done using meta-level computation (still custom). Added support for checking approximatively whether definition is total.

→ <<cset 3828aa2ee6b1>>

[Broes De Cat]

Fixes #369: Support to postprocess definitions that do not have to be considered during search (or even not at all).

Implementation done using meta-level computation (still custom). Added support for checking approximatively whether definition is total.

→ <<cset df76e425efad>>

[Broes De Cat]

Fixes #369: Support to postprocess definitions that do not have to be considered during search (or even not at all).

Implementation done using meta-level computation (still custom). Added support for checking approximatively whether definition is total.

→ <<cset 80a28eddcf0d>>