GitHub - logicmoo/PeTTa

Name		Name	Last commit message	Last commit date
Latest commit History 511 Commits
.github		.github
examples		examples
lib		lib
mork_ffi		mork_ffi
python		python
src		src
.gitignore		.gitignore
LICENSE		LICENSE
MANIFEST.in		MANIFEST.in
README.md		README.md
build.sh		build.sh
run.sh		run.sh
setup.py		setup.py
test.sh		test.sh

Repository files navigation

PeTTa

Efficient MeTTa in Prolog.

Dependencies

SWI-Prolog

Usage

Example run:

time sh run.sh ./examples/minnars.metta

About

No description, website, or topics provided.

Custom properties

Report repository

Releases

No releases published

Packages

No packages published

Languages

Prolog 77.7%
Python 10.4%
Rust 9.1%
Shell 1.4%
C 1.4%