unifydef.kqc works

	modified:   20240301-explor.log
	modified:   dev.log
	modified:   docs/20240525-whatislimit.txt.txt

expr003.kqc わからない
	new file:   kqc/explore/const/expr003.kqc

unifyのテスト001と定義def
	modified:   kqc/explore/const/unify001.kqc
	new file:   kqc/explore/const/unifydef.kqc

start-prover-gtrailでlsystemの登録をしていたが、readekqcでやっているのでやめた
	modified:   rubbish-prover-gtrail.lisp