Do tejto issue budem dávať chyby v spracovaní zavislostí medzi komponentmi prieskumníka:
[x] Zmena domény sa neprejaví vo vyhodnotení správnosti splnenia formuly.
Napr. doména M = { 1 } formula \a x\e y(x != y), označím ju za splnenú, obaví sa ZLE.
Keď doménu rozšírim na { 1, 2 }, formula už je splnená, ale zmena sa hneď neprejaví.
Musím zmeniť vstup formuly (napr. pridať medzeru).
Ak namiesto toho zmením menu spĺňania, správnosť (DOBRE/ZLE) sa stále určuje podľa splnenia formuly v jednoprvkovej doméne.
[x] Zmena jazyka nespôsobí znovusparsovanie formúl. Napríklad pri prázdnom jazyku sa formula student(Evka) sa nedá sparsovať, ale keď pridám student/1 a Evka do jazyka, už by sa mala dať. Nedozviem sa to ale, kým nezmením input formuly.
Do tejto issue budem dávať chyby v spracovaní zavislostí medzi komponentmi prieskumníka:
M = { 1 }
formula\a x\e y(x != y)
, označím ju za splnenú, obaví sa ZLE. Keď doménu rozšírim na{ 1, 2 }
, formula už je splnená, ale zmena sa hneď neprejaví. Musím zmeniť vstup formuly (napr. pridať medzeru). Ak namiesto toho zmením menu spĺňania, správnosť (DOBRE/ZLE) sa stále určuje podľa splnenia formuly v jednoprvkovej doméne.student(Evka)
sa nedá sparsovať, ale keď pridámstudent/1
a Evka do jazyka, už by sa mala dať. Nedozviem sa to ale, kým nezmeníminput
formuly.