Programmer Humor

34234 readers

40 users here now

Post funny things about programming here! (Or just rant about your favourite programming language.)

Rules:

Posts must be relevant to programming, programmers, or computer science.
No NSFW content.
Jokes must be in good taste. No hate speech, bigotry, etc.

founded 5 years ago

MODERATORS

[email protected]

The Christian and Traditional Family propaganda of Prolog examples (lemmy.sdf.org)

submitted 2 months ago by [email protected] to c/[email protected]

13 comments fedilink hide all child comments

something is a person if it is either Adam or Eve, or if it has a mother. We can express this in a single rule as follows:

person(X) :- (X=adam; X=eve; mother(X, Y)).

you are viewing a single comment's thread
view the rest of the comments

[–] [email protected] 6 points 2 months ago (5 children)

I'll admit I don't speak prolog but doesn't this definition lack a recursive case to ensure that the mother is either Eve or a descendent of Eve? And there should probably be a father case in there as well?

[–] [email protected] 8 points 2 months ago* (last edited 2 months ago) (1 children)

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:

Take mother(X, Y) as an "axiom", and define mother terms for all elements:

mother(abel, eve).
mother(isaac, sarah).

Derive mother(X, Y) from female(X) and parent(X, Y) terms.

mother(X, Y) :- 
  parent(X, Y), 
  female(Y).

Smash the institutional gender power structures and define only parent/2 terms instead of mother/2 and father/2.

[–] [email protected] 6 points 2 months ago

I never saw such a potent combination of gender politics and prolog

load more comments (3 replies)