File "eval"

Prolog is not known for number crunching, nevertheless many Prolog systems provide a num-ber type and corresponding operations and predicates. Besides floating-point numbers, the Dogelog player also supports arbitrary long integers.

Section "arithmetic": Traversing arithmetic expressions in Prolog itself is usually not efficient. Nevertheless, this currently the approach for the Dogelog player. More..

Section "magnitude": We support predicates that compare numbers by their magnitude, looking only at the value and not at the type. More..

Section "trigo": We provide trigonometric and exponential evaluable functions from the ISO core standard and its corrigenda. More..

Section "bitwise": We support bitwise evaluable functions as found in the ISO core standard and offer them for both smallint and bigint. More..

Section "syntactic": Uninterpreted function symbols and constants lead to the Herbrand domain, which can be equipped with equality and comparison. More..

Kommentare