GitHub - theoremprover-museum/CLIN

prover: runs on Quintus prolog.
prover.als: runs on ALS prolog

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
ALS		ALS
Cprolog		Cprolog
Eclipse		Eclipse
Eclipse.old		Eclipse.old
Eclipse.old1		Eclipse.old1
Quintus		Quintus
Quintus_1.old		Quintus_1.old
Quintus_2.old		Quintus_2.old
README.md		README.md
auxiliary		auxiliary
bug.report		bug.report
clausify		clausify
command		command
compile.eclipse		compile.eclipse
compile.in		compile.in
compile.quintus		compile.quintus
define		define
exprules		exprules
files_changed		files_changed
fls		fls
hyper		hyper
hyper.old		hyper.old
instdel		instdel
interp		interp
library		library
main		main
main.old		main.old
pc		pc
prover		prover
prover.als		prover.als
prover.cprolog		prover.cprolog
prover.old		prover.old
replace		replace
replace.old		replace.old
simplify		simplify
skolem		skolem
spc		spc
to_do		to_do
try		try
try.old		try.old
xvisor		xvisor

Provide feedback