lang « src - prolog-cafe.git -

Mode	Name	Size
-rw-r--r--	Arithmetic.java	8106	log plain
-rw-r--r--	BlockPredicate.java	571	log plain
-rw-r--r--	BlockingPrologControl.java	11856	log plain
-rw-r--r--	BuiltinException.java	764	log plain
-rw-r--r--	CPFStack.java	8913	log plain
-rw-r--r--	ClosureTerm.java	2787	log plain
-rw-r--r--	DoubleTerm.java	9186	log plain
-rw-r--r--	EvaluationException.java	1784	log plain
-rw-r--r--	ExistenceException.java	2196	log plain
-rw-r--r--	Failure.java	847	log plain
-rw-r--r--	HashtableOfTerm.java	604	log plain
-rw-r--r--	IllegalDomainException.java	2327	log plain
-rw-r--r--	IllegalTypeException.java	2087	log plain
-rw-r--r--	IntegerTerm.java	10311	log plain
-rw-r--r--	InternalDatabase.java	2979	log plain
-rw-r--r--	InternalException.java	1068	log plain
-rw-r--r--	JavaException.java	1701	log plain
-rw-r--r--	JavaInterruptedException.java	313	log plain
-rw-r--r--	JavaObjectTerm.java	4184	log plain
-rw-r--r--	JavaPredicate.java	1169	log plain
-rw-r--r--	ListTerm.java	6741	log plain
-rw-r--r--	Makefile	719	log plain
-rw-r--r--	NumberTerm.java	6212	log plain
-rw-r--r--	Operation.java	758	log plain
-rw-r--r--	OutOfLoop.java	594	log plain
-rw-r--r--	OutOfScope.java	599	log plain
-rw-r--r--	PInstantiationException.java	1466	log plain
-rw-r--r--	PermissionException.java	2328	log plain
-rw-r--r--	Predicate.java	2509	log plain
-rw-r--r--	PredicateEncoder.java	4902	log plain
-rw-r--r--	Prolog.java	18152	log plain
-rw-r--r--	PrologClassLoader.java	3893	log plain
-rw-r--r--	PrologControl.java	5257	log plain
-rw-r--r--	PrologException.java	515	log plain
-rw-r--r--	PrologMain.java	3540	log plain
-rw-r--r--	RepresentationException.java	1797	log plain
-rw-r--r--	StructureTerm.java	6620	log plain
-rw-r--r--	Success.java	857	log plain
-rw-r--r--	SymbolTerm.java	3973	log plain
-rw-r--r--	SyntaxException.java	2074	log plain
-rw-r--r--	SystemException.java	1044	log plain
-rw-r--r--	Term.java	6933	log plain
-rw-r--r--	TermException.java	695	log plain
-rw-r--r--	Token.java	9163	log plain
-rw-r--r--	Token.java.bak	8539	log plain
-rw-r--r--	Trail.java	2766	log plain
-rw-r--r--	Undoable.java	394	log plain
-rw-r--r--	VariableTerm.java	6906	log plain
-rw-r--r--	package.html	349	log plain