Bruno Rucy Carneiro Alves de Lima

SLD Resolution?

2

Hi, What's the reason that lead you to use a prolog evaluation strategy (SLD resolution) for a datalog? For instance, `magic-sets` is a relatively simple datalog-first strategy that would most...

Warn if `registries.conf` contains config keys the consumer does not intend to use

12

### Feature request description Assume that the following can be found at $HOME/.config/containers/registries.conf, on macOS: ``` unqualified-search-registries = ['docker.io'] [[registry]] prefix = "docker.io" location = "docker.io" [[registry.mirror]] location = ""...

Incremental bayesian optimisation?

10

Hi, I wonder, is it possible for the service struct to incrementally adjust to new suggestions, instead of recomputing everything from scratch in every iteration?

Shuffling after every insert set?

5

Hi, I noticed that you sort, or shuffle, the integer set after every measurement. Why so?

"Neurosymbolic"

1

Hi, I'm curious as to why is scallop referred to as a "Framework and Language for Neurosymbolic Programming". I understand "Neurosymbolic" as a system that **cleverly** bridges some connectivist system...