GitHub

This code is obsolete and the activity moved to https://github.com/idni/tau under a new design

Name		Name	Last commit message	Last commit date
Latest commit History 1,484 Commits
data		data
examples		examples
libmarpa @ ac0070f		libmarpa @ ac0070f
stlc		stlc
stuff		stuff
test_data		test_data
tools		tools
ubi		ubi
vm		vm
.gitignore		.gitignore
.gitmodules		.gitmodules
CMakeLists.txt		CMakeLists.txt
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md
cc.cpp		cc.cpp
cli.cpp		cli.cpp
cli.h		cli.h
comp.cpp		comp.cpp
containers.h		containers.h
design.mso		design.mso
incosistent		incosistent
infloop		infloop
json_object.cpp		json_object.cpp
json_object.h		json_object.h
json_spirit.h		json_spirit.h
jsonld.cpp		jsonld.cpp
jsonld.h		jsonld.h
load_n3		load_n3
marpa_codes.c		marpa_codes.c
marpa_tau.cpp		marpa_tau.cpp
marpa_tau.h		marpa_tau.h
misc.cpp		misc.cpp
misc.h		misc.h
nquads.cpp		nquads.cpp
p.cpp		p.cpp
ppjson.cpp		ppjson.cpp
prover.cpp		prover.cpp
prover.h		prover.h
rdf.cpp		rdf.cpp
rdf.h		rdf.h
rdfs-query.jsonld		rdfs-query.jsonld
rdfs-rules.jsonld		rdfs-rules.jsonld
strings.h		strings.h
tau.cpp		tau.cpp
triples.h		triples.h
unif.cpp		unif.cpp
unifiers.cpp		unifiers.cpp
vm.h		vm.h

Provide feedback