Did you know ...
Search Documentation:
Function float_integer_part/1
HOME
DOWNLOAD
SWI-Prolog
Sources/building
Docker images
Add-ons
Browse GIT
DOCUMENTATION
Manual
Packages
FAQ
Command line
PlDoc
Bluffers
▶
Prolog syntax
PceEmacs
HTML generation
License
Publications
Rev 7 Extensions
TUTORIALS
Beginner
▶
Getting started
Learn Prolog Now!
Simply Logical
Debugger
Development tools
Advanced
▶
Modules
Grammars (DCGs)
clp(fd)
Printing messages
PlDoc
Web applications
▶
Web applications
Let's Encrypt!
Pengines
Semantic web
▶
ClioPatria
RDF namespaces
Graphics
▶
XPCE
GUI options
Machine learning
▶
Probabilistic Logic Programming
External collections
▶
Meta level tutorials
For packagers
▶
Linux packages
COMMUNITY
Forum & mailing list
Blog
News
Report a bug
Submit a patch
Submit an add-on
Roadmap (on GitHub)
External links
Contributing
Code of Conduct
Contributors
SWI-Prolog items
COMMERCIAL
WIKI
Login
View changes
Sandbox
Wiki help
All tags
Documentation
Reference manual
Built-in Predicates
Arithmetic
General purpose arithmetic
Arithmetic Functions
-/1
+/1
+/2
-/2
*/2
//2
mod/2
rem/2
///2
div/2
rdiv/2
gcd/2
lcm/2
abs/1
sign/1
cmpr/2
copysign/2
nexttoward/2
roundtoward/2
max/2
maxr/2
min/2
minr/2
./2
random/1
random_float/0
round/1
integer/1
float/1
rational/1
rationalize/1
numerator/1
denominator/1
float_fractional_part/1
float_integer_part/1
truncate/1
floor/1
ceiling/1
ceil/1
>>/2
<</2
\//2
/\/2
xor/2
\/1
sqrt/1
sin/1
cos/1
tan/1
asin/1
acos/1
atan/1
atan2/2
atan/2
sinh/1
cosh/1
tanh/1
asinh/1
acosh/1
atanh/1
log/1
log10/1
exp/1
**/2
^/2
powm/3
lgamma/1
erf/1
erfc/1
pi/0
e/0
epsilon/0
inf/0
nan/0
cputime/0
eval/1
msb/1
lsb/1
popcount/1
getbit/2
Packages
Availability:
Arithmetic function (see
is/2
)
[ISO]
float_integer_part
(
+Expr
)
Integer part of floating point number. Negative if
Expr
is negative,
Expr
if
Expr
is integer.