Sergey Mechtaev

I guess it is fixed by #85.

addressed by https://github.com/modus-continens/website/commit/46df451d8bbfec77956bca56e74ab6904602e710

Thanks, added in [8abb808](https://github.com/program-repair/program-repair.github.io/commit/8abb808c06c7704a3e476a398bfe15b63062113b)

URL fixed in 469b53135b3b48e6b48265583bafa876bba6f628

Hi @brurucy, We used SLD resolution to implement Prolog-style extensions. For example, Modus allows writing rules like app(cflags) :- from("gcc:latest"), copy(".", "."), run(f"gcc ${cflags} test.c -o test"). where `cflags` is...