Executable specification of Cypher Graph Query Language

Project for aision to parse a .obl file into Neo4j Cypher for ontology visualization.

explorations in core.logic

Art of Prolog Code

LangChain integration for SWI-Prolog

MeTTa module containing various flavors of backward and forward chaining, as well as converters between these flavors.

An experiential learning fork of TrueAGI's "minecraft-demo"

AIRIS Public Release

A MMORPG project made in .net core(C# server) and Unity(C# client)

MeTTa Optimal Reduction Kernel

ErgoAI's Java IDE

The ErgoAI reasoning engine, an advanced object-oriented knowledge management system

A Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine

Top-down interpreter for ASP programs with Constraints

Towards Human-Friendly, Fast Learning and Adaptable Agent Communities

A relatively fast C and C++ 64 bit floating point library written using only integer operations for cross platform consistency. Tested with gcc/clang/Visual Studio, on x86-64/ARMv8 (64 bit)

Transform natural language to logical representation with Neo-Davidsonian event semantics

Opionated aspect-oriented programming for prolog

Language Server for Prolog

A proof of concept for writing a prolog compiler

I've been thinking about belief, faith, works, law and receiving the Holy Spirit!

The meTTa Language Syntax Highlighter for VSCode is a powerful extension that enhances your coding experience when working with the meTTa programming language.

This extension provides Syntax Auto-Formatting, Highlighting, Linting, Hovering for detail, Code Snippets, Folding and File-Icon for the MeTTa programming language.

A Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine

A Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine