prolog.err

prolog,人工智能推理程序,运行环境prolog

3   Illegal keyword.
Recognized keywords are:
  DATABASE, PREDICATES, DOMAINS, CLAUSES, GOAL, GLOBAL,
  INCLUDE, CONSTANTS
and the options are:
  check_determ, nobreak, nowarnings, diagnostics
  trace, shorttrace, code, trail, errorlevel, project
#
4   Use the format CODE=dddd, TRAIL=dddd, HEAP=dddd or ERRORLEVEL=d.
Ex
  code=4000  trail=1000  heap=6000  errorlevel=1
#
5   The trail size cannot exceed 4000 paragraphs (corresponding to 64K).
#
6   The code size cannot exceed 16000 paragraphs (corresponding to 256K).
#
7   The errorlevel must be either 0, 1 or 2.
#
10  Illegal character.
Legal characters are upper and lower case letters, digits and the
characters :-+!"'/*()[]|><=.,;
#
11  Character constants must be terminated with an apostrophe (')
Eg 'a' and '\254'
#
12  The comment is not terminated by */
An end of source has been encountered within a comment. 
This may be caused by nested comments.
#
14  The name is too long. (max. 250 characters)
#
15  The string is too long. (max. 250 characters)
#
16  The string must be terminated with a double quote (") in the same line.
If you need newline characters in a string, use \n as in "First\n Next".
If you need a string with more than 250 characters, use 'concat' to
assemble it from shorter strings.
#
17  Real constant is out of range.
The valid range is: +-17976931348E+-308
#
18  A hexadecimal digit is expected after a dollar sign.
Eg X=$B800
#
20  Constant identifier expected.
An 'ifdef' or an 'ifndef' should be followed by the controlling constant
identifier.
#
21  'enddef' expected; unterminated 'ifdef' or 'ifndef' block.
#
22  End of text in an unterminated ifdef-block.
#
23  Too many nested conditional blocks (max. 25).
#
100 Undeclared domain or misspelling.
#
102 Standard domains cannot be declared.
The standard domains are always considered to be declared, and cannot be
redeclared even if they aren't used in the program.
#
103 This domain was declared previously.
#
104 Syntax error:  =  or  ,  expected.
#
105 Name expected (either a domain or a functor).
#
106 Alternatives in a list declaration are illegal.
The only format for a list declaration is

  dom1, dom2, dom3 = otherdom*

However, there's nothing preventing 'otherdom' from being a compound
domain including different types, surrounded by functors of your
choice, as in eg.

  otherdom = i(integer); s(string); r(real)
#
107 This functor has already been used in the domain declaration.
A functor can only appear once in every domain declaration.
#
108 Functor name expected.
After the ';' a new functor name is expected.
#
109 Domain name expected.
#
110 Syntax error in domain declaration.  )  or  ,  expected.
#
111 WARNING: Domain used as a functor. (F10=Ok, Esc=Abort).
This name is also the name of a domain. If this isn't a mistake, you
can avoid the warning by succeeding the functor with two brackets as
in 'integer()'.
#
112 WARNING: Domain declaration with a single functor. (F10=Ok, Esc=Abort).
This declaration is understood as a domain with just a single functor,
which is rarely used.
#
113 This constant is already defined.
#
201 This name is reserved for a standard predicate.
It is not possible to redefine standard predicates.
#
202 This predicate is already declared.
Alternative declarations for the same predicate should be grouped.
#
204 Domain name  or  ')'  expected.
#
205 Undeclared domain or misspelling.
#
206 Too many arguments used in this predicate.
The maximum is 50.
#
208 Syntax error in predicate declaration,  ')'  or  ',' expected.
#
209 Illegal number of arguments.
There is no declaration for the predicate with this number of arguments.
#
210 Only one database predicate declaration is allowed.
Database predicates can only have one type declaration.  If you
want to assert different types, you should use different predicates or
declare a suitable compound domain.
#
211 This predicate is declared as a database predicate.
Predicates declared in the DATABASE section must consist entirely