-
purely logical subset,
called "pure Prolog", as well as a
number of
extralogical features. Prolog's
single data type is the term.
Terms are
either atoms...
-
mathematics is
believed to be
derivable logically from a
small number of
extralogical axioms, such as the
axioms of Zermelo–Fraenkel set
theory (or its extension...
-
logical if set
theory is
developed along the
lines of type theory, but is
extralogical if set
theory is set out axiomatically, as in the
canonical Zermelo–Fraenkel...
-
except possibly for the ****umption of
simple ordering, I know of no
other extralogical principle governing decisions that
finds such
ready acceptance. — p....
- Time has
usually been
considered by
logicians to be what is
called '
extralogical' matter. I have
never shared this opinion. But I have
thought that logic...
-
matter of degree: 'Significant
systems range from
those whose entire extralogical vocabulary consists of
observation terms,
through theories whose formulation...
-
matter of degree: 'Significant
systems range from
those whose entire extralogical vocabulary consists of
observation terms,
through theories whose formulation...
-
Planner and Prolog. In Prolog, it is
usually implemented using Prolog's
extralogical constructs. More generally, this kind of
negation is
known as weak negation...
- 20th century. (Alexandrinsky
Theatre /
Fashion Theory) Photography, the
extralogical and the
problem of
language (“Word Order”, St. Petersburg) Specialist...
- typed, but it is
restricted to pure operators:
there is no cut or
other extralogical operators (such as ones for
performing I/O) as are
often found in Prolog...
