Public
Script
Val Town is a social website to write and deploy JavaScript.
Build APIs and schedule functions from your browser.
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
import { Dusa } from "https://unpkg.com/dusa@0.0.10/lib/client.js";
const INPUT = `
???.### 1,1,3
.??..??...?##. 1,1,3
?#?#?#?#?#?#?#? 1,3,1,6
????.#...#... 4,1,1
????.######..#####. 1,6,5
?###???????? 3,2,1
`
.trim()
.split("\n");
const PROGRAM = `
#builtin NAT_SUCC s
#builtin INT_PLUS plus
getWays 0 noRun RunList :- runs is RunList.
# When we're NOT in a run
numWays N noRun nil is 0 :-
getWays N noRun nil,
char N is "#".
numWays N noRun RunList is NWays :-
getWays N noRun RunList,
RunList == (cons (s Len) SubList),
char N is "#",
numWays (s N) (run Len) SubList is NWays.
getWays (s N) (run Len) SubList :-
getWays N noRun RunList,
RunList == (cons (s Len) SubList),
char N is Ch, Ch != ".".
numWays N noRun RunList is NWays :-
getWays N noRun RunList,
char N is ".",
numWays (s N) noRun RunList is NWays.
getWays (s N) noRun RunList :-
getWays N noRun RunList,
char N is Ch, Ch != "#".
numWays N noRun nil is NWaysDot :-
getWays N noRun nil,
char N is "?",
numWays (s N) noRun nil is NWaysDot.
numWays N noRun RunList is (plus NWaysDot NWaysHash) :-
getWays N noRun RunList,
char N is "?",
numWays (s N) noRun RunList is NWaysDot,
RunList == (cons (s Len) SubList),
numWays (s N) (run Len) SubList is NWaysHash.
# End of a run
numWays N (run 0) RunList is 0 :-
getWays N (run 0) RunList,
char N is "#".
numWays N (run 0) RunList is NWays :-
getWays N (run 0) RunList,
char N is Ch, Ch != "#",
numWays (s N) noRun RunList is NWays.
getWays (s N) noRun RunList :-
getWays N (run 0) RunList,
char N is Ch, Ch != "#".
# Middle of a run
numWays N (run (s Len)) RunList is 0 :-
getWays N (run (s Len)) RunList,
char N is ".".
numWays N (run (s Len)) RunList is NWays :-
getWays N (run (s Len)) RunList,
char N is Ch, Ch != ".",
numWays (s N) (run Len) RunList is NWays.
getWays (s N) (run Len) RunList :-
char N is Ch, Ch != ".",
getWays N (run (s Len)) RunList.
# End of the road
numWays N State (cons Len RunList) is 0 :-
getWays N State (cons Len RunList),
length is N.
numWays N (run (s Len)) RunList is 0 :-
getWays N (run (s Len)) RunList,
length is N.
numWays N noRun nil is 1 :-
getWays N noRun nil,
length is N.
December 12, 2023