diff options
| author | Christine Dodrill <me@christine.website> | 2019-01-10 21:50:46 -0800 |
|---|---|---|
| committer | Christine Dodrill <me@christine.website> | 2019-01-10 21:50:46 -0800 |
| commit | f8ff657998a46349e9dee2c5c8db9f18e170961e (patch) | |
| tree | d1dc74dc81900724dd1d170b874331d046b6e4dd | |
| parent | 6034a746e585b711d9b4e2d4725a73788aafe20f (diff) | |
| download | x-f8ff657998a46349e9dee2c5c8db9f18e170961e.tar.xz x-f8ff657998a46349e9dee2c5c8db9f18e170961e.zip | |
less
| -rw-r--r-- | la-baujmi/main.go | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/la-baujmi/main.go b/la-baujmi/main.go index 5015e98..5485aaf 100644 --- a/la-baujmi/main.go +++ b/la-baujmi/main.go @@ -11,29 +11,6 @@ import ( ) func main() { - /* - m := golog.NewMachine().Consult(` - toki(jan_Kesi). - toki(jan_Pola). - toki(jan_Kesi, jan_Pola). - toki(jan_Kesi, toki_pona). - command(ilo_Kesi, toki(ziho, jan_Kesi)). - `) - if m.CanProve(`toki(jan_Kesi).`) { - log.Printf("toki(jan_Kesi). -> jan Kesi li toki.") - } - - solutions := m.ProveAll(`toki(jan_Kesi, X).`) - for _, solution := range solutions { - log.Printf("jan_Kesi li toki e %s", solution.ByName_("X").String()) - } - - solutions = m.ProveAll(`command(X, toki(ziho, jan_Kesi)).`) - for _, solution := range solutions { - log.Printf("%s o, toki e jan_Kesi", solution.ByName_("X").String()) - } - */ - var m golog.Machine m = golog.NewMachine() |