43
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
this post was submitted on 03 Jan 2025
43 points (92.2% liked)
Programmer Humor
32707 readers
163 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
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:mother(X, Y)
as an "axiom", and define mother terms for all elements:mother(X, Y)
fromfemale(X)
andparent(X, Y)
terms.parent/2
terms instead ofmother/2
andfather/2
.I never saw such a potent combination of gender politics and prolog