summaryrefslogtreecommitdiff
path: root/prolog/problems/denotational_semantics/prog_listswap_2/common.py
diff options
context:
space:
mode:
Diffstat (limited to 'prolog/problems/denotational_semantics/prog_listswap_2/common.py')
-rw-r--r--prolog/problems/denotational_semantics/prog_listswap_2/common.py18
1 files changed, 15 insertions, 3 deletions
diff --git a/prolog/problems/denotational_semantics/prog_listswap_2/common.py b/prolog/problems/denotational_semantics/prog_listswap_2/common.py
index e08337d..b3da01f 100644
--- a/prolog/problems/denotational_semantics/prog_listswap_2/common.py
+++ b/prolog/problems/denotational_semantics/prog_listswap_2/common.py
@@ -1,10 +1,10 @@
id = 175
-number = 79
-visible = False
+number = 10
+visible = True
facts = None
solution = '''\
-program --> [begin], instructs175, [end].
+prog_listswap --> [begin], instructs175, [end].
instructs175 --> instr175.
instructs175 --> instr175, instructs175.
@@ -13,3 +13,15 @@ instr175 --> [left].
instr175 --> [right].
instr175 --> [swap].
'''
+
+# nothing to do in this exercise
+initial = '''\
+prog_listswap --> [begin], instructs, [end].
+
+instructs --> instr.
+instructs --> instr, instructs.
+
+instr --> [left].
+instr --> [right].
+instr --> [swap].
+'''