ALC2 Experiments

tour_1.lsp - procedure that concatenates two lists
tour_2.lsp - test of concatenation
tour_3.lsp - a theorem on concatenation
tour_4.lsp - the theorem becomes a rewrite rule
tour_5.lsp - caveat