• 34 Posts
  • 23 Comments
Joined 2 years ago
cake
Cake day: June 19th, 2023

help-circle








  • Depends on how you want to define your domain knowledge.

    The thing you need to define for sure is the predicate mother/2 (Which has arity 2, or in other words, two arguments). From then on, multiple options are available:

    1. Take mother(X, Y) as an “axiom”, and define mother terms for all elements:
    mother(abel, eve).
    mother(isaac, sarah).
    
    1. Derive mother(X, Y) from female(X) and parent(X, Y) terms.
    mother(X, Y) :- 
      parent(X, Y), 
      female(Y).
    
    1. Smash the institutional gender power structures and define only parent/2 terms instead of mother/2 and father/2.



















  • The joke is that it’s hard to tell if this is a joke because the lines between good intentions, corporate jargon, and feasibility have been blurred beyond recognition both here and in the real world.

    It’s also funny that after all these years, i18n is still a mess. Moreover, even if translations are standard in GUIs and documentation, for some reason, everyone is okay with defaulting to English for the oldest form of computer interaction.

    Also, the joke is whatever you want it to be. Follow your dreams.