AntiUnification generalises from examples

Implemention of common resolution refutation strategies

Type checking, type inference, Church, Curry, polymorphe types, Unification theory, ... All type theory related

(Migrated from CodePlex) View-plug-ins Programming on database is an interface-oriented to simplify the design of complex batches processing. Useful for ETL, reporting and DWH solutions.

Easy-to-use first order logic tools & Scala library

ftor enables ML-like type-directed, functional programming with Javascript including reasonable debugging.

شركة تمثل قناه لتفريغ جهود محترفين لاعداد تصورات مبدئيه لخصوص تاطيير نظم بشريه اساسيه جديده

Bi: Symbolic system based on binary vector architecture

Implemented a project for designing the use of resolution in full first order logic. The project has been implemented in Java and an efficient algorithm has been used for parsing the data and for unification.

Constraints Reactor -- implementation of CHR semantics with support for terms and unification

Gradual WAM implementation using Hassan Aït-Kaci's tutorial reconstruction

Rescuing the SOUL great logic meta programming language

Implementation of McBride's "First-order unification by structural recursion" in Agda.

A unification implementation for JSON.

Server for NLP libraries unification

Raven-OS configuration unification service and library.

Unification Algorithm in Dart.

Logic programming, for Rust, from inside Rust.

Programs developed for CSCI561 Foundations of Artificial Intelligence course

Display AOSP type custom snackbar notifcations in your web js project.