Revision as of 16:42, 17 November 2016 edit GreenC bot (talk \| contribs) Bots 3,054,791 edits m 1 archive template merged to {{webarchive}} (WAM) ← Previous edit		Revision as of 01:37, 25 September 2019 edit undo Monkbot (talk \| contribs) Bots 3,695,952 edits m →top: Task 16: replaced (1×) / removed (0×) deprecated \|dead-url= and \|deadurl= with \|url-status=; Tag: AWB Next edit →
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 \|title=Archived copy \|accessdate=March 13, 2006 \|~~deadurl~~url-status=~~yes~~dead \|archiveurl=https://web.archive.org/web/20060510035848/http://lfs.irisa.fr/ \|archivedate=May 10, 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.

Logic File System: Difference between revisions