Term Manipulation
lib-tma-bas
: Introduction
lib-tma-trm
: The Six Term Manipulation Packages
lib-tma-arg
: Finding a Term's Arguments --- library(arg)
lib-tma-changearg
: Altering Term Arguments --- library(changearg)
lib-tma-occurs
: Checking Terms for Subterms --- library(occurs)
lib-tma-aor
: Note on Argument Order
lib-tma-samefunctor
: Checking Functors --- library(samefunctor)
lib-tma-subsumes
: Term Subsumption --- library(subsumes)
lib-tma-unify
: Unification --- library(unify)
lib-tma-termdepth
: library(termdepth)
User's Manual
Table of Contents
Next
Previous
Up
Node Menu