Logic File System: Difference between revisions

Browse history interactively

← Previous edit

Content deleted Content added

VisualWikitext

Revision as of 05:42, 11 May 2016 edit BG19bot (talk \| contribs) 1,005,055 edits m →top: WP:CHECKWIKI error fix for #61. Punctuation goes before References. Do general fixes if a problem exists. - using AWB ← Previous edit		Latest revision as of 06:59, 22 August 2022 edit undo Citation bot (talk \| contribs) Bots 5,864,516 edits Alter: title. \| Use this bot. Report bugs. \| Suggested by BrownHairedGirl \| #UCB_webform 1600/3832
(5 intermediate revisions by 4 users 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 ~~{{Dead~~\|title=The Logical Information Systems web page ~~link~~\|~~date~~accessdate=March 13, 2006 \|url-status=dead \|archiveurl=https://web.archive.org/web/20060510035848/http://lfs.irisa.fr/ \|archivedate=May ~~2016~~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 13: == External links == * {{~~wayback\|date=20090430140852~~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]]