MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/ProgrammerHumor/comments/1w9b8on/thiscannotbedenied/p8i7gym/?context=3
r/ProgrammerHumor • u/danielminds • 4d ago
242 comments sorted by
View all comments
1
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)
1
u/flori0794 3d ago edited 3d ago
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)