Logic File System

This is an old revision of this page, as edited by 172.145.172.245 (talk) at 04:17, 12 February 2007 (External links). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

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 syntax commonly used in modern search engines.

An implementation of the Logic File System is available at the LFS website [1].

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.

References

  • The Logical Information Systems homepage.