It seems they don't have all the books that are on MIT open access. I can't find "The Art of Prolog"[1], for example. But maybe they are downloading only the on

It seems they don't have all the books that are on MIT open access. I can't find "The Art of Prolog"[1], for example. But maybe they are downloading only the ones with the "free" tag like "Turtle Geometry"[2] (Last time I looked at this one it was one pdf for each chapter). [1] https://mitpress.mit.edu/9780262691635/the-art-of-prolog/ https://mitpress.mit.edu/9780262691635/the-art-of-prolog/ [2] https://direct.mit.edu/books/oa-monograph/4663/Turtle-GeometryThe-Computer-as-a-Medium-for https://direct.mit.edu/books/oa-monograph/4663/Turtle-Geomet...