shithub: pprolog

Info  •  Files  •  Log  •  Branches

Throw errors when trying to evaluate goals that cannot be evaluated

--- a/eval.c

+++ b/eval.c

@@ -28,6 +28,11 @@

 		if(flagdebug)

 			print("Working goal: %S:%S\n", module->name, prettyprint(goal, 0, 0, 0, nil));

+		if(goal->tag == VariableTerm)

+			goal = instantiationerror();

+		if(goal->tag != AtomTerm && goal->tag != CompoundTerm)

+			goal = typeerror(L"callable", goal);

+

 		Binding *bindings = nil;

 		Clause *clause = nil;