[Internal error - there is no error message for this code.] [Syntax error - subterm missing? You could have read something like 'foo()' or '(3+)'. The context is: ] [Syntax error - missing closing bracket. You could have had something like 'foo(a,b,c.' or '[A,..C.'. The context is: ] [Syntax error - restarting list after '|' or ',..' . Only one term can appear after one of these (the 'rest' of the list). Something like '[a,b,..c,d]' is wrong. The context is: ] [Syntax error - missing comma or operator? Perhaps you have missed out an operator declaration. Eg 'a b c', '[A B]' and 'f (a)' are wrong. The context is: ] [Syntax error - there are too many closing brackets. Eg 'f(a,b))' and 'f([a,b,C])]' are wrong. The context is: ] [Internal error - there is no message for this code.] [Syntax error - an unexpected character has appeared after ',.'. This sequence must be followed by another '.' meaning the same as '|' (the rest of the list). The context is: ] [Syntax error - ',..' or '|' has been read elsewhere than in a list. Eg 'f(a,b,..c)' and 'a :- b,..c.' are wrong. The context is: ] [Internal error - there is no message for this code.] [Syntax error - a closing bracket does not match the corresponding opening one. Thus 'f(a,b]' and '[a,b,c)' are wrong. The context is: ] [Internal error - there is no message for this code.] [Internal error - there is no message for this code.] [Internal error - there is no message for this code.] [Error - illegal file name. The arguments to 'see', 'tell' and other predicates that manipulate files should be atoms whose names are valid filenames in your system.] [Error - cannot 'tell' to file. For some reason (disk directory full? disk or file read-only?) you cannot open the requested file for output.] [Error - too many variable names. There is only a small amount of space for storing variable names during reading, and this can be exhausted if there are many variables in a term.] [Error - adding to system predicates. It is not allowable to add new clauses for predicates that have a special significance to the system (eg 'trace', 'see')] [Error - bad 'listing' argument. The first argument to a 'listing' must be a predicate name (an atom) or a list of names. The empty name '' gives the same effect as 'listing' without arguments, only the name of file can be specified.] [Error - 'op' first argument. The first argument to 'op' must be an operator precedence - an integer between 0 and 255] [Error - 'op' second argument. The second argument to 'op' should be an operator type - one of 'xf', 'fx', 'xfx', 'xfy' and 'yfx'] [Error - 'op' third argument. The third argument to 'op' should be the atom being declared as an operator] [Error - functor arity limit. You have attempted to create a functor with arity greater than 15. This is not possible with this PROLOG implementation] [Error - atom name length limit. You have attempted to create an atom whose name has more than about 255 characters. This is not possible in this PROLOG.] [Error - variable goal. You have invoked a variable goal without the variable being properly instantiated. Every PROLOG goal must have its predicate known] [Error - bad arithmetic expression. An arithmetic expression (e.g. second argument to 'is') must consist solely of integers, global variables and functors _ * _, _ + _, _ - _, _ / _, _ mod _, "_"] [Error - 'is' first argument. The first argument to 'is' must be an integer or an uninstantiated variable] [Error - 'assert' argument. Something to be asserted must be a valid clause, and not an integer or uninstantiated variable, for instance] [Error - 'name_hash' arguments. At least one of the arguments must be installed, the first being an atom, the second an integer expression.] [Error - 'array' argument. Either the first one is not a valid action or the second an array name or the the index is out of range or the value is not atom or integer.] [Error - 'assertz' second argument. You have provided bad bounds list, which was not produced by the 'read' predicate. Check your manual for bounds list valid structure.] [Error - bad list. Various system predicates (ie 'name') sometimes expect finite lists as arguments. You have provided an illegal one (perhaps it doesn't end in [])] [Internal error - there is no message for this code.] [Error - name arguments. The first argument to 'name' must unify with an atom and the second argument with a list of integers. Also, if the first is an uninstantiated variable then the second must be ground] [Internal error - there is no message for this code.] [Error - 'deny' arguments. 'deny' must take 2 arguments specifying the head and body of a clause. 'retract' must match a clause as a whole. 'retractall' must match a clause head. All predicates must be instantiated] [Error - accessing system clauses. It is illegal to look at or remove clauses for system predicates.] [Internal error - there is no message for this code.] [Error - end of file. You have tried to read on after the end of a file. You may have failed to close a string or quoted atom.] [Internal error - there is no message for this code.] [Internal error - there is no message for this code.] [Internal error - there is no message for this code.] [Internal error - there is no message for this code.] [Internal error - there is no message for this code.] [Internal error - there is no message for this code.] [Internal error - there is no message for this code.] [Internal error - there is no message for this code.] [Error - bad sector or other disk I/O error. During a file I/O operation the disk cannot perform the requested operation.] [Error - illegal disk drive name. You have tried to refer to a disk drive which doesn't exist.] [Error - overflow in integer operation. PROLOG-80 allows integer values only in the range 0..16383. The result integer (sub)expression exceeded this limit.] [Error - division by 0. If this were done, the machine would not be big enough to hold the answer] [Error - bad arguments to 'ancestor' The predicate 'ancestor' must only be called with an integer as its first argument and an uninstantiated variable as its second.] [Error - too many names. PROLOG-80 allows you to use 1024 different variable names and atoms during the whole session. You can't really continue after this error.] [Error - 'functor' first argument The first argument to 'functor' must be an atom, a complex term or an uninstantiated variable.] [Error - functor second argument You have given a variable as the first argument, and so the second should have been an atom.] [Error - file doesn't exist You have referred (in a 'see', 'consult' etc) to a file that does not exist.] [Error - cannot write For some reason (disk full?) you cannot write to the current output. ] [Error - cannot read For some reason (hardware?) you cannot read from the current input] [Error - cannot close file For some reason (hardware?) it was not possible to successfully close a file.] [Error - functor third argument You have given 'functor' a variable as its first argument, and so the third argument should have been a valid arity (integer less than 16)] [Error - 'arg' first argument The first argument to 'arg' must be a complex term] [Error - 'arg' second argument The second argument to 'arg' must be an integer less than or equal to the arity of the first argument (and not 0)] [Error - 'constrain' stack overflow. There can be only 128 activated 'constrain' goals waiting for finalizing the previous ones.] [Error - out of memory. Your program has run out of space, and so is probably in an infinite loop. On the other hand it may just be too big, in which case you need to consider appropriate changes] ly in an infinite loop. On the other hand it may just be too big