diff options
| -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() |