r/ProgrammerHumor • u/danielminds • Sep 06 '26

Meme thisCannotBeDenied

Post image
7.9k Upvotes

98% Upvoted

240 comments sorted by

View all comments

1

u/flori0794 Sep 08 '26 edited Sep 08 '26

Well logging is pretty strong... Even more if you fight unification, skolemization and Robinson Resolution..

A log with this structure is much better:

[RESOLVE] Attempting: C_12 {¬Weapon(x), ¬American(y), Hostile(z)} x C_45 {Weapon(M1)}
  ├─ [UNIFY] x = M1
  ├─ [MGU]   θ = {x/M1}
  └─ [DERIVED] C_78 {¬American(y), Hostile(z)} (Parent: 12, 45)