From a8354895bb0d398099525756dc8a7495bda0124c Mon Sep 17 00:00:00 2001 From: fmi Date: Thu, 7 May 2026 10:50:47 +0200 Subject: [PATCH 1/6] change Klauseln to Resolvente --- src/LogicTasks/Semantics/Prolog.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/LogicTasks/Semantics/Prolog.hs b/src/LogicTasks/Semantics/Prolog.hs index c6fb03a3..b33b3b12 100644 --- a/src/LogicTasks/Semantics/Prolog.hs +++ b/src/LogicTasks/Semantics/Prolog.hs @@ -86,13 +86,13 @@ description PrologInst{..} = do paragraph $ if usesSetNotation then do translate $ do - german "Nutzen Sie zur Angabe der Klauseln die Mengenschreibweise. Ein Lösungsversuch mit den Klauseln {a(x), b(x)} und {-a(x), b(x), c(x)} könnte beispielsweise so aussehen:" + german "Nutzen Sie zur Angabe der Resolvente die Mengenschreibweise. Ein Lösungsversuch mit den Klauseln {a(x), b(x)} und {-a(x), b(x), c(x)} könnte beispielsweise so aussehen:" english "Specify the clauses using set notation. A valid solution with the clauses {a(x), b(x)} and {-a(x), b(x), c(x)} could look like this:" indent $ code "(a(x), { b(x), c(x) })" pure () else do translate $ do - german "Nutzen Sie zur Angabe der Klauseln eine Formel. Ein Lösungsversuch mit den Klauseln 'a(x) oder b(x)' und '-a(x) oder b(x) oder c(x)' könnte beispielsweise so aussehen:" + german "Nutzen Sie zur Angabe der Resolvente eine Formel. Ein Lösungsversuch mit den Klauseln 'a(x) oder b(x)' und '-a(x) oder b(x) oder c(x)' könnte beispielsweise so aussehen:" english "Specify the clauses using a formula. A valid solution with the clauses 'a(x) or b(x)' and '-a(x) or b(x) or c(x)' could look like this:" indent $ translatedCode $ flip localise $ translations $ do english "(a(x), b(x) or c(x))" From 7804bf59cf5597b6638d4755ff57e9bf574d4a61 Mon Sep 17 00:00:00 2001 From: fmi Date: Thu, 7 May 2026 12:19:24 +0200 Subject: [PATCH 2/6] change clauses to resolvent --- src/LogicTasks/Semantics/Prolog.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/LogicTasks/Semantics/Prolog.hs b/src/LogicTasks/Semantics/Prolog.hs index b33b3b12..b83fa43e 100644 --- a/src/LogicTasks/Semantics/Prolog.hs +++ b/src/LogicTasks/Semantics/Prolog.hs @@ -87,13 +87,13 @@ description PrologInst{..} = do then do translate $ do german "Nutzen Sie zur Angabe der Resolvente die Mengenschreibweise. Ein Lösungsversuch mit den Klauseln {a(x), b(x)} und {-a(x), b(x), c(x)} könnte beispielsweise so aussehen:" - english "Specify the clauses using set notation. A valid solution with the clauses {a(x), b(x)} and {-a(x), b(x), c(x)} could look like this:" + english "Specify the resolvent using set notation. A valid solution with the clauses {a(x), b(x)} and {-a(x), b(x), c(x)} could look like this:" indent $ code "(a(x), { b(x), c(x) })" pure () else do translate $ do german "Nutzen Sie zur Angabe der Resolvente eine Formel. Ein Lösungsversuch mit den Klauseln 'a(x) oder b(x)' und '-a(x) oder b(x) oder c(x)' könnte beispielsweise so aussehen:" - english "Specify the clauses using a formula. A valid solution with the clauses 'a(x) or b(x)' and '-a(x) or b(x) or c(x)' could look like this:" + english "Specify the resolvent using a formula. A valid solution with the clauses 'a(x) or b(x)' and '-a(x) or b(x) or c(x)' could look like this:" indent $ translatedCode $ flip localise $ translations $ do english "(a(x), b(x) or c(x))" german "(a(x), b(x) oder c(x))" From c6564dd13f63f45cb8b389c83878b5def671c8c8 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Janis=20Voigtl=C3=A4nder?= Date: Thu, 7 May 2026 12:44:02 +0200 Subject: [PATCH 3/6] =?UTF-8?q?keine=20Mischung=20von=20Notationserkl?= =?UTF-8?q?=C3=A4rung=20und=20"Musterl=C3=B6sung"?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- src/LogicTasks/Semantics/Prolog.hs | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/LogicTasks/Semantics/Prolog.hs b/src/LogicTasks/Semantics/Prolog.hs index b83fa43e..0322a291 100644 --- a/src/LogicTasks/Semantics/Prolog.hs +++ b/src/LogicTasks/Semantics/Prolog.hs @@ -86,14 +86,14 @@ description PrologInst{..} = do paragraph $ if usesSetNotation then do translate $ do - german "Nutzen Sie zur Angabe der Resolvente die Mengenschreibweise. Ein Lösungsversuch mit den Klauseln {a(x), b(x)} und {-a(x), b(x), c(x)} könnte beispielsweise so aussehen:" - english "Specify the resolvent using set notation. A valid solution with the clauses {a(x), b(x)} and {-a(x), b(x), c(x)} could look like this:" + german "Nutzen Sie zur Angabe der Resolvente die Mengenschreibweise! Ein Lösungsversuch könnte beispielsweise so aussehen:" + english "Specify the resolvent using set notation! A valid solution could look like this:" indent $ code "(a(x), { b(x), c(x) })" pure () else do translate $ do - german "Nutzen Sie zur Angabe der Resolvente eine Formel. Ein Lösungsversuch mit den Klauseln 'a(x) oder b(x)' und '-a(x) oder b(x) oder c(x)' könnte beispielsweise so aussehen:" - english "Specify the resolvent using a formula. A valid solution with the clauses 'a(x) or b(x)' and '-a(x) or b(x) or c(x)' could look like this:" + german "Nutzen Sie zur Angabe der Resolvente eine Formel! Ein Lösungsversuch könnte beispielsweise so aussehen:" + english "Specify the resolvent using a formula! A valid solution could look like this:" indent $ translatedCode $ flip localise $ translations $ do english "(a(x), b(x) or c(x))" german "(a(x), b(x) oder c(x))" From 32bdc686be264d97db653664e1df04c9a196cbf5 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Janis=20Voigtl=C3=A4nder?= Date: Thu, 7 May 2026 12:48:17 +0200 Subject: [PATCH 4/6] valid solution -> solution attempt --- src/LogicTasks/Semantics/Prolog.hs | 4 ++-- src/LogicTasks/Semantics/Step.hs | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/src/LogicTasks/Semantics/Prolog.hs b/src/LogicTasks/Semantics/Prolog.hs index 0322a291..9cb66968 100644 --- a/src/LogicTasks/Semantics/Prolog.hs +++ b/src/LogicTasks/Semantics/Prolog.hs @@ -87,13 +87,13 @@ description PrologInst{..} = do then do translate $ do german "Nutzen Sie zur Angabe der Resolvente die Mengenschreibweise! Ein Lösungsversuch könnte beispielsweise so aussehen:" - english "Specify the resolvent using set notation! A valid solution could look like this:" + english "Specify the resolvent using set notation! A solution attempt could for example look like this:" indent $ code "(a(x), { b(x), c(x) })" pure () else do translate $ do german "Nutzen Sie zur Angabe der Resolvente eine Formel! Ein Lösungsversuch könnte beispielsweise so aussehen:" - english "Specify the resolvent using a formula! A valid solution could look like this:" + english "Specify the resolvent using a formula! A solution attempt could for example look like this:" indent $ translatedCode $ flip localise $ translations $ do english "(a(x), b(x) or c(x))" german "(a(x), b(x) oder c(x))" diff --git a/src/LogicTasks/Semantics/Step.hs b/src/LogicTasks/Semantics/Step.hs index fd59ca90..0ef8cf09 100644 --- a/src/LogicTasks/Semantics/Step.hs +++ b/src/LogicTasks/Semantics/Step.hs @@ -71,14 +71,14 @@ description oneInput StepInst{..} = do when usesSetNotation $ paragraph $ do translate $ do german "Nutzen Sie zur Angabe der Resolvente die Mengenschreibweise! Ein Lösungsversuch könnte beispielsweise so aussehen: " - english "Specify the resolvent using set notation! A valid solution could look like this: " + english "Specify the resolvent using set notation! A solution attempt could for example look like this: " indent $ translatedCode $ flip localise $ translations setExample pure () unless usesSetNotation $ paragraph $ do translate $ do german "Nutzen Sie zur Angabe der Resolvente eine Formel! Ein Lösungsversuch könnte beispielsweise so aussehen: " - english "Specify the resolvent using a formula! A valid solution could look like this: " + english "Specify the resolvent using a formula! A solution attempt could for example look like this: " indent $ translatedCode $ flip localise $ translations exampleCode pure () From 665ba4f0b7fcfd7c72af6f556d77401b3a1f0a67 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Janis=20Voigtl=C3=A4nder?= Date: Thu, 7 May 2026 14:36:36 +0200 Subject: [PATCH 5/6] na wenn copilot sich weigert --- src/LogicTasks/Semantics/Prolog.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/LogicTasks/Semantics/Prolog.hs b/src/LogicTasks/Semantics/Prolog.hs index 9cb66968..dbc6b729 100644 --- a/src/LogicTasks/Semantics/Prolog.hs +++ b/src/LogicTasks/Semantics/Prolog.hs @@ -87,13 +87,13 @@ description PrologInst{..} = do then do translate $ do german "Nutzen Sie zur Angabe der Resolvente die Mengenschreibweise! Ein Lösungsversuch könnte beispielsweise so aussehen:" - english "Specify the resolvent using set notation! A solution attempt could for example look like this:" + english "Specify the resolvent using set notation! A solution attempt could, for example, look like this:" indent $ code "(a(x), { b(x), c(x) })" pure () else do translate $ do german "Nutzen Sie zur Angabe der Resolvente eine Formel! Ein Lösungsversuch könnte beispielsweise so aussehen:" - english "Specify the resolvent using a formula! A solution attempt could for example look like this:" + english "Specify the resolvent using a formula! A solution attempt could, for example, look like this:" indent $ translatedCode $ flip localise $ translations $ do english "(a(x), b(x) or c(x))" german "(a(x), b(x) oder c(x))" From 94183ed1cdb70603243051f1b4d330304aaf0638 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Janis=20Voigtl=C3=A4nder?= Date: Thu, 7 May 2026 14:37:26 +0200 Subject: [PATCH 6/6] weitere Kommas --- src/LogicTasks/Semantics/Step.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/LogicTasks/Semantics/Step.hs b/src/LogicTasks/Semantics/Step.hs index 0ef8cf09..1d008098 100644 --- a/src/LogicTasks/Semantics/Step.hs +++ b/src/LogicTasks/Semantics/Step.hs @@ -71,14 +71,14 @@ description oneInput StepInst{..} = do when usesSetNotation $ paragraph $ do translate $ do german "Nutzen Sie zur Angabe der Resolvente die Mengenschreibweise! Ein Lösungsversuch könnte beispielsweise so aussehen: " - english "Specify the resolvent using set notation! A solution attempt could for example look like this: " + english "Specify the resolvent using set notation! A solution attempt could, for example, look like this: " indent $ translatedCode $ flip localise $ translations setExample pure () unless usesSetNotation $ paragraph $ do translate $ do german "Nutzen Sie zur Angabe der Resolvente eine Formel! Ein Lösungsversuch könnte beispielsweise so aussehen: " - english "Specify the resolvent using a formula! A solution attempt could for example look like this: " + english "Specify the resolvent using a formula! A solution attempt could, for example, look like this: " indent $ translatedCode $ flip localise $ translations exampleCode pure ()