Group: INRIA Rules

Sort by:Popular▼

✓Popular✓Newest

Main objects for integraal

Util objects for integraal

Inputs and Outputs for integraal objects

This module represents the physical atom storage for integraal

Datalog with General Positive Existentials — grammar, core engine, and editor.

Query evaluation module for InteGraal

InteGraal has been designed in a modular way, in order to facilitate software reuse and extension. It should make it easy to test new scenarios and techniques, in particular by combining algorithms.

InteGraal module dedicated to configuring the tool

Utilities for working with ANTLR4 grammars, including readers, LSP support, and JavaFX integration.

Unification module for InteGraal

Facilities for the creation of relational views over heterogeneous data

Utilities for working with ANTLR4 grammars, including readers, LSP support, and JavaFX integration.

Datalog with General Positive Existentials — grammar, core engine, and editor.

InteGraal module dedicated to computing core

InteGraal module dedicated to compute a test environment

InteGraal forward chaining algorithms

Rule base analysis for InteGraal. This is imported from Graal

Integraal module related to redundancy

Utilities for working with ANTLR4 grammars, including readers, LSP support, and JavaFX integration.

High level API module for the main functionalities of InteGraal