Search Results for "squashfs-tool"

Linguistic Tree Constructor (LTC) is a tool for drawing lingusitic syntax trees of already-existing text. It is a syntax editor, not a text editor, so the text has to exist already. It is best suited for large-scale, rapid creation of hand-annotated treebanks. The user can define their own node categories, and can label each node with labels, also definable by the user.

FOML is an expressive logic rule language that supports object modeling, analysis, and inference. It naturally supports model-level activities, such as constraints (extending UML diagrams), dynamic compositional modeling, analysis and reasoning about models, model testing, design pattern modeling, specification of Domain Specific Modeling Languages, and meta-modeling. FOML can reason about: 1. The model meta-data (meta-model level reasoning, or syntax reasoning) 2. Data level: reason...

MotOrBAC is a tool to help you design and implement a security policy using the OrBAC (Organisation Based Access Control) model. It is developped using the OrBAC API, an implementation of the OrBAC model.

This project objective is realizing the design, development and implementation of a web application which works as a university planner. The objective was that the system could be installed specifically in the user university and run through the web browser as a local page or having the possibility of installing it in a university server (could be in any site, no need to be in the user university) so through the browser and an internet connection it could be used from anywhere (mainly in...

PyCDep is a tool to analyze include dependencies between files in C and C++ programs. PyCDep itself is written in python. It dumps all the facts in a prolog database which can be queried. Visualization is possible by dumping graphviz (.dot) files.

The Generic Eclipse Modeling System is an MDD tool for Eclipse that allows for the rapid development of GEF modeling plugins. In GEMS, developers specify rules for a domain language using a metamodel and the tool generates a plugin for the specification

This project provides a tool (developed by the ArguGRID project) that implements different dispute derivations for assumption-based argumentation. It also computes a dialectical structure of arguments. Users have full control over selection functions and

Component (library, framework) refactoring may affect existing applications, where the client code used previous component versions. Our tool preserves applications binary-compatible by generating an adaptation layer out of change history.

Odin is a Tool that aims to be a didatic resource for AI Teachers. It lets students visualize PROLOG programs in 3D simulations.

A prolog-based functional-logical "Make" tool for managing the execution of complex interdependent tasks

PrologDoc is a small Prolog tool to document your Prolog applications, much like the better-known Javadoc does for Java. Its aim is to be simple but useful and freely usable.

icx is a tool for 3D Diagrammatic Interaction (3DI). Via internet socket it gives a client application means of 3DI with a user. It also serves users as a 3D diagram editor. Prolog fact syntax helps it serve both Prolog and conventional applications.

Jude is a rapid application development tool to develop data management applications easy to mantain for developers and easy to use for end users.

SLPG (Semiautomatic Logic Program generator) is an academic tool whose goal is to help unexperienced logic programmers to develop Prolog programs using a systematic methodology.

This is a english based query tool. This was worked on for about 5 years before being abandoned in about 1999. The company that I work for agreed to open source the code.