isReadableFile

Tells whether path denotes a file that exists and can be read on the current platform.

Used by TuPrologCmd to check each -T/--theory argument before attempting to load it, so a missing or unreadable file is silently skipped rather than raising a platform-specific I/O error.

Implemented per-platform: the JVM implementation delegates to java.io.File; the JS implementation is not yet provided (see loadTheoryFromFile).

JS implementation: not yet provided.

Throws

JVM implementation: true iff path is a regular, existing, readable File.