Sergey Mechtaev

Layer expression that creates no layers

5

We can consider providing a predicate that creates an empty layer, say `empty_layer` or `skip`: ``` install_dependencies("debian:bullseye-slim") :- run("apt-get install iproute2"). install_dependencies("debian:bullseye") :- skip. ``` A concrete use case is...

Better Proof Highlighting

2

When Modus is used in Gnome Terminal with the default light theme, image literals are highlighted using a too bright color. It might be better to use the color of...

Implement static check for stratified construction: Sequences, Datalog, and Transducers: Anthony Bonnera Giansalvatore Mecca

Builtin predicates

2

- [x] Basic support & SLD resolution for built-in predicates (https://github.com/modus-continens/modus/pull/39) - [x] Properly augment the proof tree to indicate what constants were used to unify those built-ins. I.e. we...

Caching

2

Caching is an important part of Docker and any build system. Docker currently does not provide sufficient tools to control caching. Here are some things we need to think about:...

Nullary Predicate Syntax

3

Currently, nullary predicates are denoted as identifiers without parentheses, e.g. `a :- b, c`. @maowtm suggested to consider using the syntax with `()`, e.g. `a() :- b(), c()`. The parentheses...