Workspace of metta-wam on Built-In Node

	backward-chainer
	backward-chaining
	common
	curried-chaining
	dependent-types
	entail
	equal
	forward-chainer
	forward-chaining
	hol
	inference-control
	iterative-chaining
	match
	pln
	polyward-chaining
	subtyping
	sumo
	synthesis
	README.md	Sep 6, 2024, 1:24:47 PM	489 B
(all files in zip)