Auroratide

Coding + Storytelling

Professional Programmer Proves Prolog Prolongs Productivity

Anything Else

Topics
  • joke
  • prolog
  • april fools
  • logic

At least... probably 🙃

productive(X) :- not(takes_breaks(X)).
takes_breaks(X) :- not(debugging(X)).
debugging(X) :- uses_prolog(X).

programmer(aurora).
programmer(eventide).

uses_prolog(aurora).
uses_javascript(eventide).

Prolog is a logical language. Therefore, its output is truth:

?- productive(aurora).
true.

?- productive(eventide).
false.

Hence, the conclusion: Prolog prolongs productivity, Q.E.D.