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
|
// Command la-baujmi is a simple language understander for Toki Pona.
package main
import (
"log"
"os"
"strings"
"github.com/mndrix/golog"
line "github.com/peterh/liner"
"within.website/x/internal"
_ "within.website/x/internal/tokipona"
"within.website/x/web/tokiponatokens"
)
func main() {
internal.HandleStartup()
var m golog.Machine
m = golog.NewMachine()
for {
l := line.NewLiner()
if inp, err := l.Prompt("|toki: "); err == nil {
if inp == "" {
return
}
l.AppendHistory(inp)
parts, err := tokiponatokens.Tokenize(tokiPonaAPIURL, inp)
if err != nil {
log.Printf("error: %v", err)
continue
}
for _, sentence := range parts {
sbs, err := SentenceToSelbris(sentence)
if err != nil {
log.Printf("can't derive facts: %v", err)
continue
}
for _, sb := range sbs {
f := sb.Fact()
if strings.Contains(inp, "?") {
log.Printf("Query: %s", f)
solutions := m.ProveAll(f)
for _, solution := range solutions {
log.Println("found", strings.Replace(f, "A", solution.ByName_("A").String(), -1))
}
continue
}
log.Printf("registering fact: %s", f)
m = m.Consult(f)
}
}
} else if err == line.ErrPromptAborted {
log.Print("Aborted")
break
} else {
log.Print("Error reading line: ", err)
break
}
}
os.Exit(0)
}
|
