From a8354895bb0d398099525756dc8a7495bda0124c Mon Sep 17 00:00:00 2001 From: fmi Date: Thu, 7 May 2026 10:50:47 +0200 Subject: [PATCH 1/3] 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/3] 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/3] =?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))"