質問編集履歴
2
内容の充実化
test
CHANGED
|
File without changes
|
test
CHANGED
|
@@ -2,7 +2,7 @@
|
|
|
2
2
|
|
|
3
3
|
欲しい結果としては，
|
|
4
4
|
|
|
5
|
-
le(A,
|
|
5
|
+
le(A,s(s(s(0)))).
|
|
6
6
|
|
|
7
7
|
A=0;
|
|
8
8
|
|
|
@@ -20,9 +20,13 @@
|
|
|
20
20
|
|
|
21
21
|
|
|
22
22
|
|
|
23
|
+
Ubuntu20.04で行っています．
|
|
23
24
|
|
|
24
25
|
|
|
26
|
+
|
|
27
|
+
|
|
28
|
+
|
|
25
|
-
0から列挙していこうとして，次のようなものを書いたのですが，これだとMが加算されると0じゃなくなってしまい，うまく回らないです．
|
|
29
|
+
0から列挙(昇順)していこうとして，次のようなものを書いたのですが，これだとMが加算されると0じゃなくなってしまい，うまく回らないです．
|
|
26
30
|
|
|
27
31
|
```prolog
|
|
28
32
|
|
|
@@ -36,7 +40,7 @@
|
|
|
36
40
|
|
|
37
41
|
|
|
38
42
|
|
|
39
|
-
次にA=Bから列挙しようとして次のようなものを描いたのですが，想定した動きをしてくれませんでした．
|
|
43
|
+
次にA=Bから列挙(降順)しようとして次のようなものを描いたのですが，想定した動きをしてくれませんでした．
|
|
40
44
|
|
|
41
45
|
|
|
42
46
|
|
1
内容の充実化
test
CHANGED
|
File without changes
|
test
CHANGED
|
@@ -1,4 +1,26 @@
|
|
|
1
1
|
prologを用いて，ある自然数(0を含む)Bを与えたときに，B以下となる自然数Aを列挙していく，というものをA=0からとA=Bから出していくという者の二通りで別々に組みたいのですが，勉強したてということもあり，うまくできません．
|
|
2
|
+
|
|
3
|
+
欲しい結果としては，
|
|
4
|
+
|
|
5
|
+
le(A,3).
|
|
6
|
+
|
|
7
|
+
A=0;
|
|
8
|
+
|
|
9
|
+
A=s(0);
|
|
10
|
+
|
|
11
|
+
A=s(s(0));
|
|
12
|
+
|
|
13
|
+
A=s(s(s(0))).
|
|
14
|
+
|
|
15
|
+
false
|
|
16
|
+
|
|
17
|
+
もしくはこれの逆順で表示されるものです．
|
|
18
|
+
|
|
19
|
+
s()は1を加算するように決まっていて，s(0)=1, s(s(0))=2のようになります．
|
|
20
|
+
|
|
21
|
+
|
|
22
|
+
|
|
23
|
+
|
|
2
24
|
|
|
3
25
|
0から列挙していこうとして，次のようなものを書いたのですが，これだとMが加算されると0じゃなくなってしまい，うまく回らないです．
|
|
4
26
|
|