Logic File System

From Wikipedia, the free encyclopedia

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.

[edit] References

[edit] External links

  • The Logical Information Systems homepage.