Prolog/Predicati built-in: differenze tra le versioni

 

;=/2

;unify_with_occurs_check/2

:

;(\=)/2

 

;var/1

;atom/1

;integer/1

;float/1

;atomic/1

;compound/1

;nonvar/1

;number/1

:True if term is bound to an integer or floating point number

 

;(@=<)/2

;(==)/2

;(\==)/2

;(@<)/2

;(@>)/2

;(@>=)/2

 

:

;arg/3

:

 

;is/2

:

 

;'=:='/2

;'=\='/2

;'<'/2

;'=<'/2

;'>'/2

;'>='/2

 

 

===Clause retrieval and information===

:

 

; asserta/1

:

:

 

;findall/3

:

:

 

 

;current_input/1

:

:

;open/4, open/3

;close/1, close/2

;stream_property/2

:

:

 

;get_char/2, get_char/1

:

;nl/0, nl/1

:

;get_byte/2, get_byte/1

:

:

 

;read_term/2, read_term/3

:

:Valore assoluto

;(sign)/1

;(float_integer_part)/1

;(float_fractional_part)/1

;(float)/1

:Float coercion

;(floor)/1

;(truncate)/1

;(round)/1

;(ceiling)/1

:Ceiling