Sistema de archivos lógico

El Sistema de archivos lógicos es un sistema de archivos de investigación que reemplaza los nombres de ruta con expresiones en la lógica proposicional. Permite que los metadatos de archivos sean consultados con un superset de la sintaxis booleana comúnmente utilizado en los motores de búsqueda modernos.

El nombre real es Sistema de archivos de Logic Information Systems y se abrevia LISFS para evitar confusiones con el sistema de archivos estructurado de registros (LFS). Una implementación del sistema de archivos lógico está disponible en el sitio web de LISFS.

Está pensado para ser utilizado en sistemas operativos tipo Unix y es un poco difícil de instalar, ya que necesita varios módulos OCaml no estándar.