Logic File System: Difference between revisions

Browse history interactively

← Previous edit

Content deleted Content added

VisualWikitext

Revision as of 01:37, 25 September 2019 edit 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 ← Previous edit		Latest revision as of 06:59, 22 August 2022 edit undo Citation bot (talk \| contribs) Bots 5,864,517 edits Alter: title. \| Use this bot. Report bugs. \| Suggested by BrownHairedGirl \| #UCB_webform 1600/3832
(One intermediate revision by one other user not shown)
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. Line 14: == External links == * {{webarchive \|url=https://web.archive.org/web/20090430140852/http://lfs.irisa.fr/ \|date=April 30, 2009 \|title=The Logical Information Systems }} * [https://web.archive.org/web/20110823233241/http://padator.org/wiki/wiki-LFS/doku.php LFS new homepage] [[Category:Computer file systems]]