46

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
[-] silasmariner@programming.dev 6 points 2 months ago

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

this post was submitted on 03 Jan 2025
46 points (92.6% liked)

Programmer Humor

32707 readers
744 users here now

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

Rules:

founded 5 years ago
MODERATORS