Revision as of 11:03, 17 March 2020 edit InternetArchiveBot (talk \| contribs) Bots, Pending changes reviewers 5,679,352 edits Rescuing 1 sources and tagging 0 as dead.) #IABot (v2.0 ← Previous edit		Latest revision as of 06:59, 22 August 2022 edit undo Citation bot (talk \| contribs) Bots 5,865,415 edits Alter: title. \| Use this bot. Report bugs. \| Suggested by BrownHairedGirl \| #UCB_webform 1600/3832
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~~The ~~copy~~Logical Information Systems web page \|accessdate=March 13, 2006 \|url-status=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