Method QueryInteractive

interpreter/interpreter.go:257–284

QueryInteractive parses query string, queries the interpreter's state, returns results formatted as strings.

(queryString string)

// QueryInteractive parses query string, queries the interpreter's state, returns
// results formatted as strings.
func (i *Interpreter) QueryInteractive(queryString string) error {
	query, err := i.ParseQuery(queryString)
	if err != nil {
		return err
	}
	facts, err := i.Query(query)
	if err != nil {
		return err
	}
	var results []string
	for _, fact := range facts {
		if atom, ok := fact.(ast.Atom); ok {
			results = append(results, atom.DisplayString())
		} else if ta, ok := fact.(ast.TemporalAtom); ok {
			results = append(results, ta.DisplayString())
		} else {
			results = append(results, fact.String())
		}
	}
	sort.Strings(results)
	fmt.Fprintf(i.out, "%s\n", strings.Join(results, "\n"))
	if len(results) == 0 {
		fmt.Fprintf(i.out, "No entries for %s.\n", query)
	} else {
		fmt.Fprintf(i.out, "Found %d entries for %s.\n", len(results), query)
	}
	return nil
}

// Define adds rule definitions the interpreter's state.
func (i *Interpreter) Define(clauseText string) error {