Differenze tra le versioni di "Prolog/Predicati built-in"

m
nessun oggetto della modifica
m (Nuova pagina: List of built-in predicates in ISO Prolog. ==Term unification== ;=/2 :Prolog unification ;unify_with_occurs_check/2 : ;(\=)/2 :Not Prolog unifiable ==Type testing== ;var/1 :True if t...)
 
m
ListLista ofdi predicati built-in predicatesnel inProlog ISOiso Prologstandard.
 
==unificazione Termini==
==Term unification==
;=/2
:Unificazione Prolog
:Prolog unification
;unify_with_occurs_check/2
:
;(\=)/2
:Not Prolog unifiablenon unificabile
 
==Type testingTest==
;var/1
:Vero se il termine corrente e' una variabile
:True if term currently is a variable
;atom/1
:Vero se il termine corrente e' legato ad un atomo
:True if term is bound to an atom
;integer/1
:Vero se il temirne e' intero
:True if term is bound to an integer
;float/1
:Vero se il termine e' un numero in virgola mobile
:True if term is bound to a floating point number
;atomic/1
:Veor se il termine e' atomo intero o in virgola mobile
:True if term is bound to an atom, integer or floating point number
;compound/1
:Vero se il termine e' composto
:True if term is bound to a compound term
;nonvar/1
:Vero se il termine corrente non e' una variabile
:True if term is not a variable
;number/1
:True if term is bound to an integer or floating point number
 
==Term comparisonComparazione==
;(@=<)/2
:Termine meno di o uguale a
:Term less than or equal to
;(==)/2
:Termine identico
:Term identical
;(\==)/2
:Termine non identico
:Term not identical
;(@<)/2
:Termine inferiore a
:Term less than
;(@>)/2
:Termine superiore a
:Term greater than
;(@>=)/2
:Termine piu' grande di o uguale a
:Term greater than or equal to
 
==Creazione e decomposizione di termini==
==Term creation and decomposition==
;functorfuntore/3
:
;arg/3
:
 
==Valutazione aritmetica==
==Arithmetic evaluation==
;is/2
:
 
==Comparazione aritmetica==
==Arithmetic comparison==
;'=:='/2
:uguaglianza aritmetica
:Arithmetic equal
;'=\='/2
:Disuguaglianza aritmetica
:Arithmetic not equal
;'<'/2
:minore aritmetico
:Arithmetic less than
;'=<'/2
:minore o uguale di aritmetico
:Arithmetic less than or equal to
;'>'/2
:Maggiore aritmetico
:Arithmetic greater than
;'>='/2
:"Maggiore o uguale di" aritmetico
:Arithmetic greater than or equal to
 
==ClausesVincoli==
 
===Clause retrieval and information===
:
 
===Creazione e distruzione di vincoli===
===Clause creation and destruction===
; asserta/1
:
:
 
==AllTutte solutionsle soluzioni==
;findall/3
:
:
 
==Input ande output==
 
===Selezione e controllo di flusso===
===Stream selection and control===
;current_input/1
:
:
;open/4, open/3
:OpeningAprire auno stream di dati
;close/1, close/2
:ClosingChiudere auno stream di dati
;stream_property/2
:
:
 
===CharacterCaratteri input-output===
;get_char/2, get_char/1
:
;nl/0, nl/1
:
===ReadingLettura fromda binarystream streamsbinari===
;get_byte/2, get_byte/1
:
:
 
===TermTermini input ande output===
;read_term/2, read_term/3
:
:Valore assoluto
;(sign)/1
:Segno
:Sign
;(float_integer_part)/1
:Parte intera
:Integer part
;(float_fractional_part)/1
:Parte frazionale
:Fractional part
;(float)/1
:Float coercion
;(floor)/1
:Eccesso
:Floor
;(truncate)/1
:Troncamento
:Truncate
;(round)/1
:Arrotondamento
:Round
;(ceiling)/1
:Ceiling
462

contributi