Rinha de Compiladores (Em Prolog 🦉)

Todo homem é mortal
Sócrates é homem
Logo, Sócrates é mortal

homem(socrates).

mortal(Homem) :- homem(Homem).

% ?- mortal(socrates).

Como rodar local

Testado no Ubuntu 22.04, com SWI-Prolog "SWI-Prolog version 9.0.4 for x86_64-linux"

make && ./out/main testes/fib.json

Rodando no docker

Gere a imagem

docker build -t acorujadarinha .

Execute o teste:

docker run --rm -v $(pwd)/testes/fib.json:/var/rinha/source.rinha.json acorujadarinha

Exemplo

fib.json, n = 50