Logic File System: Difference between revisions

Revision as of 05:42, 11 May 2016

Revision as of 00:28, 27 May 2016

Line 1:

The '''Logic File System''' is a research file system which replaces pathnames with expressions in [[propositional logic]]. It allows file metadata to be queried with a superset of the [[Boolean algebra (logic)|Boolean]] syntax commonly used in modern [[search engine]]s.

The actual name is the '''Logic Information Systems File System''', and is abbreviated '''LISFS''' to avoid confusion with the [[log-structured file system]] (LFS). An implementation of the Logic File System is available at the LISFS website.<ref>{{cite web|url=http://lfs.irisa.fr {{Dead|title=Archived copy link|dateaccessdate=March 13, 2006 |deadurl=yes |archiveurl=http://web.archive.org/web/20060510035848/http://lfs.irisa.fr:80/ |archivedate=May 201610, 2006 }}</ref>

It is intended to be used on Unix-like operating systems and is a bit difficult to install, as it needs several non-standard [[OCaml]] modules.