In Memoriam Alain Colmerauer: 1941-2017

    rip(le_père_de_prolog).

  human(alain).
  mortal(X) :- human(X).

    love(logic_programming),
    love(elegance).