Module g1_common::naive_solve

A naive solver for queries.

This should probably not be used for anything except for very small databases and tests. It can also serve as a reference implementation to compare against for more optimized versions.

Functions

naive_solve	Naively solves the given query.
naive_solve_selfcontained	Naively solves the given query in a self-contained way (i.e. with all builtin goals failing).