El Sistema de archivos lógicos es un sistema de archivos de investigación que reemplaza los nombres de ruta con expresiones en lógica proposicional . Permite consultar metadatos de archivos con un superconjunto de la sintaxis booleana comúnmente utilizada en los motores de búsqueda modernos .
El nombre real es Sistema de archivos de sistemas de información lógicos y se abrevia LISFS para evitar confusiones con el sistema de archivos estructurados por registro (LFS). Una implementación del Sistema de archivos lógicos está disponible en el sitio web de LISFS. [1]
Está diseñado para usarse en sistemas operativos similares a Unix y es un poco difícil de instalar, ya que necesita varios módulos OCaml no estándar.