1. Carl Friedrich Bolz-Tereick
  2. Pyrolog
  3. Issues
Issue #8 wontfix

integer/1 and "is" broken.

Edd Barrett
created an issue

This is a valid query in SWI:

?- X is integer(3.4).
X = 3.

In pyrolog we see:

>?- X is integer(3.4).
ERROR: Type error: 'evaluable' expected, found 'integer/1'

Comments (2)

  1. Log in to comment