eddyp / lfs Goto Github PK
View Code? Open in Web Editor NEWThis project forked from aryx/lfs
logic file system
License: GNU General Public License v2.0
This project forked from aryx/lfs
logic file system
License: GNU General Public License v2.0
------------------------------------------------------------------------------ A Logic File System: Information systems provide a means for organising, retrieving and manipulating information. They are becoming more and more important with the advent of the numerical age, with the increasing variety and numbers of digital documents (e.g., music files, pictures, videos, emails, programs source, xml documents). To search for those documents, traditional information systems like file systems, and the web with its search engines provide both navigation and query tools but do not allow to combine them. On the one hand, navigation is intuitive and progressive but it implies a rigid and single classification of data. On the other hand, query brings flexibility and expressivity but lacks the advantages of navigation. To make it easy to manipulate the contents of those documents, those systems come with separate tools such as advanced text editors or integrated development environments (IDE) which suffer too from the same limitation. We propose a new paradigm for information system, the "Logic File System" (LFS), that offers expressive organisation, retrieval combining both query and navigation, and ease of manipulation of both files and contents of files in an integrated way at the file system level. To achieve this integration, this paradigm associates logical properties to files and parts of file, and logical deduction serves as a basis for navigation and querying. "Paths are formulas", directories represent queries and determine set of files and parts of file whose description satisfies the formula. The root directory represents the formula "true", and sub-directories of a directory are determined by the most general properties refining the query, hence combining navigation and query. File contents are determined by those parts of the original file that satisfy the formula. This permits simultaneous read and write accesses to different "views" on a file, in order to help in separating a user's concerns. Properties can be attached to information manually by the user and automatically via programs called "transducers", and can be ordered manually by the user to form taxonomies or automatically via logic deduction engines. Users can dynamically extend the system by providing their own logic deduction engines and transducers. See the docs/ directory (and the code :) ) for more information. See the demos/ directory for example of use. See the install.txt file for the installation procedure. You can find examples of (useful) logic engines and transducers in the p_logic/, p_transducer/ and p_adv_transducer/ directories. For bugs or problems send an e-mail to [email protected] with LFS in the subject of your mail. Authors: principles: Olivier ridoux ([email protected]) theory: Sebastien Ferre ([email protected]) coding: Yoann Padioleau (aka pad) ([email protected]) ------------------------------------------------------------------------------ FAQ: Q. I enjoy so much LFS, is there any LFS t-shirt ? A. not yet, stay tuned...
A declarative, efficient, and flexible JavaScript library for building user interfaces.
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ๐๐๐
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google โค๏ธ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.