Tento repozitár obsahuje zdrojové súbory aplikácie Prieskumník štruktúr, ktorá umožňuje vytvárať a upravovať štruktúry pre jazyky logiky prvého rádu a skúmať pravdivosť formúl a hodnoty termov v nich.
Aplikácia sa dá spustiť lokálne po vykonaní nasledovných krokov:
git clone https://github.com/FMFI-UK-1-AIN-412/structure-explorer.git
cd
npm installPo úspešnom nainštalovaní spustíme virtuálny server pomocou príkazu:
npm startPo tomto kroku bude aplikácia bežať na porte localhost:3000.
Aplikácia vznikla v rokoch 2017–2018 v rámci bakalárskej práce Milana Cifru Prieskumník sémantiky logiky prvého rádu. V rokoch 2019–2020 ju Miroslav Baluch rozšíril o grafový pohľad na štruktúry v rámci svojej bakalárskej práce s názvom Prieskumník grafových štruktúr pre logiku prvého rádu. V rokoch 2020–2021 Richard Tóth pridal do prieskumníka Henkinovu-Hintikkovu hru v rámci svojej bakalárskej práce Henkinova-Hintikkova hra v prieskumníku štruktúr.