Why Go
- Case Studies
  
  Common problems companies solve with Go
- Use Cases
  
  Stories about how and why companies use Go
- Security
  
  How Go can help keep you secure by default
Learn
Docs
- Effective Go
  
  Tips for writing clear, performant, and idiomatic Go code
- Go User Manual
  
  A complete introduction to building software with Go
- Standard library
  
  Reference documentation for Go's standard library
- Release Notes
  
  Learn what's new in each Go release
Packages
Community
- Recorded Talks
  
  Videos from prior events
- Meetups
  
  Meet other local Go developers
- Conferences
  
  Learn and network with Go developers from around the world
- Go blog
  
  The Go project's official blog.
- Go project
  
  Get help and stay informed from Go
- Get connected

engine

package

Go to main page

Versions in this module

v0

v0.3.0

Apr 23, 2025

v0.2.0

Aug 14, 2024

Changes in this version

+ type QueryContext struct

+ PredToDecl map[ast.PredicateSym]*ast.Decl

+ PredToRules map[ast.PredicateSym][]ast.Clause

+ Store factstore.ReadOnlyFactStore

+ func (q QueryContext) EvalPremise(premise ast.Term, subst unionfind.UnionFind) ([]unionfind.UnionFind, error)

+ func (q QueryContext) EvalQuery(query ast.Atom, mode []ast.ArgMode, uf unionfind.UnionFind, ...) error

v0.1.0

Dec 15, 2023

Changes in this version

+ func EvalProgram(programInfo *analysis.ProgramInfo, store factstore.FactStore, ...) error

+ func EvalProgramNaive(program []ast.Clause, store factstore.SimpleInMemoryStore) error

+ func EvalTransform(head ast.Atom, transform ast.Transform, input []ast.ConstSubstList, ...) error

+ type EvalOption func(*EvalOptions)

+ func WithCreatedFactLimit(limit int) EvalOption

+ type EvalOptions struct

+ type InclusionChecker struct

+ func NewInclusionChecker(decls map[ast.PredicateSym]ast.Decl) (*InclusionChecker, error)

+ func NewInclusionCheckerFromDesugared(decls map[ast.PredicateSym]*ast.Decl) *InclusionChecker

+ func (i InclusionChecker) CheckFact(fact ast.Atom, store factstore.FactStore) error

+ type Stats struct

+ Duration []time.Duration

+ PredToStratum map[ast.PredicateSym]int

+ Strata [][]ast.PredicateSym

+ func EvalProgramWithStats(programInfo *analysis.ProgramInfo, store factstore.FactStore, ...) (Stats, error)

+ func EvalStratifiedProgramWithStats(programInfo *analysis.ProgramInfo, strata []analysis.Nodeset, ...) (Stats, error)