# Prolog/Predicati built-in

Prolog
Copertina Tutti i moduli · Sviluppo
    CopertinaProlog/Copertina
    Basi
* BasiProlog/Primi passi
* Regole
* Regole ricorsive
* Variabili
* Liste
* Matematica, Funzioni ed Uguaglianza
* Mettere il tutto assieme
* Risoluzione di un rompicapo logico
    Programmazione
* Tagli e Negazione
* Leggere e scrivere il codice
* Liste di differenza
* Grammatiche a clausole finite
* Motori di inferenza
    Argomenti avanzati
* Mappe associative
* Tecniche di ricerca
* Ordinamento
* Grafica: XPCE
    Predicati built-inProlog/Predicati built-in
* Predicati built-inProlog/Predicati built-in
* Funzioni ricorsiveProlog/Funzioni ricorsive
* Termini di collaudo
* Costrutti Bagof, Setof e Findall
* Ordinamento
* I/O
    Ulteriori risorse
* Cos'e' il Prolog?
* Storia del Prolog
* Introduzione alla logica
* Glossario
* Alcune risposte a domande comuni
* Esercizi (collegamento esterno)
    Approfondimenti
* Programmazione di ordine superiore)
* Programmazione su vincoli logici
* Grammatiche a clausole definite
* Combinazioni di linguaggi
* Selezione di alcuni argomenti interessanti tratti dagli usergroup
* Collegamenti Esterni
Modifica il sommario
Lista di predicati built-in nel Prolog ISO standard.

## unificazione Termini
### =/2

    Unificazione Prolog

### (\=)/2

    Prolog non unificabile

## Test
### var/1

    Vero se il termine corrente è una variabile

### atom/1

    Vero se il termine corrente è legato ad un atomo

### integer/1

    Vero se il temirne e' intero

### float/1

    Vero se il termine è un numero in virgola mobile

### atomic/1

    Vero se il termine e' atomo intero o in virgola mobile

### compound/1

    Vero se il termine è composto

### nonvar/1

    Vero se il termine corrente non è una variabile

### number/1

    Vero se il termine corrente è un numero intero o in virgola mobile

## Comparazione
### (@=<)/2

    Termine meno di o uguale a

### (==)/2

    Termine identico

### (\==)/2

    Termine non identico

### (@<)/2

    Termine inferiore a

### (@>)/2

    Termine superiore a

### (@>=)/2

    Termine più grande di o uguale a

## Comparazione aritmetica
### '=:='/2

    uguaglianza aritmetica

### '=\='/2

    Disuguaglianza aritmetica

### '<'/2

    minore aritmetico

### '=<'/2

    minore o uguale di aritmetico

### '>'/2

    Maggiore aritmetico

### '>='/2

    "Maggiore o uguale di" aritmetico

## Input e output
### Selezione e controllo di flusso
#### open/4, open/3

    Aprire uno stream di dati

#### close/1, close/2

    Chiudere uno stream di dati

#### set_stream_position/2
### Caratteri input-output
#### nl/0, nl/1
### Lettura da stream binari
#### put_byte/2, put_byte/1
### Termini input e output
#### read/1, read/2
### Termini di scrittura
#### write_canonical/1, write_canonical/2
## Operatori
### current_op/3
## Conversione di caratteri
### current_char_conversion/2
## Logica e controllo
### (\+)/1

    Not provable

### repeat/0
## Atom processing
### number_codes/2
## Implementazione definita
### halt/0, halt/1
## Funtori
### Funtori di valore
#### (+)/2

    Addizione

#### (-)/2

    Sottrazione

#### (*)/2

    Moltiplicazione

#### (//)/2

    Divisione intero

#### (/)/2

    Divisione

#### (rem)/2

    Rimando

#### (mod)/2

    Modulo

#### (-)/1

    Negazione

#### (abs)/1

    Valore assoluto

#### (sign)/1

    Segno

#### (float_integer_part)/1

    Parte intera

#### (float_fractional_part)/1

    Parte frazionale

#### (float)/1

    Float coercion

#### (floor)/1

    Eccesso

#### (truncate)/1

    Troncamento

#### (round)/1

    Arrotondamento

#### (ceiling)/1

    Ceiling

### Funzioni aritmetiche e di bit
#### (**)/2

    Potenza

#### sin/1

    Seno

#### cos/1

    Coseno

#### atan/1

    Arcotangente

#### exp/1

    Esponente

#### log/1

    Logaritmo

#### sqrt/1

    Radice quadrata

#### (>>)/2

    Scorrimento Bit a destra

#### (<<)/2

    Scorrimento bit a sinistra

#### (/\)/2

    Bitwise and

#### (\/)/2

    Bitwise or

#### (\)/1

    Bitwise complemento