Prolog: update denotational_semantics problems

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].
+'''