datalog

package

v0.9.1 Latest Latest Go to latest Published: Jan 11, 2026 License: MIT Imports: 2 Imported by: 0

Details

This section is empty.

This section is empty.

This section is empty.

type DB struct {
	// contains filtered or unexported fields
}

func CreateDB(triples ...Triple) *DB

func (db *DB) Query(find []string, where ...Pattern) [][]string

func (db *DB) QuerySingle(state State, pattern Pattern) (valid []State)

func (db *DB) QueryWhere(where ...Pattern) []State

type Pattern = [3]string

type State map[string]string

func MatchPattern(pattern Pattern, triple Triple, state State) State

type Triple = [3]string

func NewTriple(subject, predicate, object string) Triple