search

simply-logical / simply-logical

Online, interactive edition of the "Simply Logical" Prolog textbook
https://book.simply-logical.space
Other
123 stars 22 forks source link

Issue on page /src/text/1_part_i/2.1.html -- erroneous examples. #20

Open abuseofnotation opened 1 month ago

abuseofnotation commented 1 month ago

As you yourself mentioned in one of the notes, the examples are very outdated.

Besides the fact that you should replace "man" with "human" in examples like this one:

married;bachelor:-man,adult

(it is no minor matter, as people who are learning something new are very sensitive to confusions like this)

you also say

:-man,woman.

which is debatable at best

and

has_wife:-man,married.

which is plain wrong.

flach commented 1 month ago

Thanks for pointing this out, this has been raised before (https://github.com/simply-logical/simply-logical/issues/16) and I agree. I just haven't found the time to address this.