alibayram/wikipedia-40-langs huggingface dataset:
Aberrazione cromatica

In ottica l'aberrazione cromatica assiale (cioè presente anche lungo l'asse ottico) è un difetto nella formazione dell'immagine dovuta al diverso valore di indice di rifrazione per le diverse lunghezze d'onda (o frequenze) che compongono la luce che passa attraverso il mezzo ottico.
Questo si traduce in immagini che presentano ai bordi dei soggetti aloni colorati.
È un difetto del quale, in diversa misura, sono affetti tutti i sistemi ottici a lenti. 

In pratica succede che (per radiazioni policromatiche) le componenti dello spettro con lunghezza d'onda più corta (lato dello spettro verso il violetto) vengono rifratte maggiormente rispetto a quelle con lunghezza d'onda più lunga (verso il rosso), causando una dispersione dell'immagine sul piano focale. Nel piano più vicino alla lente, dove vanno a fuoco le radiazioni blu-violette, di una sorgente puntiforme di luce bianca si osserva un'immagine di colore blu-violetto al centro, contornata da un'aureola rossa, mentre dove vanno a fuoco le radiazioni rosse (piano più lontano dal centro della lente) il centro è rosso e l'aureola violetta. Per l'occhio il miglior fuoco si trova in un piano perpendicolare all'asse ottico della lente, tra le immagini blu e rossa, cioè dove vanno a fuoco le immagini gialle. Questo piano corrisponde sensibilmente alla posizione del cerchio di minima aberrazione. La distanza tra i due piani (fuoco del violetto e del rosso) giacente sull'asse ottico prende il nome di aberrazione longitudinale. Per un raggio di luce monocromatico non ha senso parlare di aberrazione cromatica.

L'aberrazione cromatica è un grosso problema per ogni apparecchio che voglia riprodurre un'immagine fedele, per esempio microscopi e telescopi. Tipicamente, l'aberrazione cromatica si manifesta come un alone attorno all'oggetto osservato, rosso da una parte e blu dall'altra;  Questo perché rosso e blu sono ai due estremi dello spettro della luce visibile, e sono quindi i colori per i quali la differenza di rifrazione è maggiore.

Il problema viene in genere risolto (acromatismo) utilizzando lenti multiple di materiali con diversa dispersione, in modo che le differenze tra gli angoli di rifrazione per la stessa lunghezza d'onda si annullino tra loro: si parla quindi di doppietto acromatico, tripletto acromatico e così via. L'aberrazione cromatica può essere in questo modo grandemente ridotta, ma non del tutto eliminata. È possibile anche utilizzare lenti costruite in materiali a bassa dispersione come la fluorite. Questa è un'aberrazione assiale i cui effetti possono anche essere corretti diaframmando per aumentare la profondità di fuoco. I dispositivi che usano specchi, invece, non soffrono di aberrazioni cromatiche.

Voci correlate 
 Astigmatismo (ottica)
 Aberrazione ottica
 Aberrazione sferica
 Coma (ottica)
 Distorsione ottica
 Purple fringing
 Numero di Abbe

Altri progetti

Collegamenti esterni 
 

Aberrazione
Terminologia fotografica
Kings of Pop

Kings of Pop è il terzo album dei Home Grown, pubblicato nel 25 giugno 2002.

Tracce

Formazione 
 John Tran - voce, chitarra ritmica
 Dan Hammond - chitarra solista
 Adam "Adumb" Lohrbach - basso, cori
 Darren Reynolds - batteria

Collegamenti esterni
Cpl



Sigle 
 Canadian Premier League – campionato di calcio canadese
 Clavis Patrum Latinorum
 Combined Programming Language – linguaggio di programmazione
 Common Public License – licenza Open Source pubblicata da IBM
 Commercial Pilot License – licenza di pilota commerciale di velivolo
 Cost per Lead – e-commerce – Costo per contatto, di persona interessata, portato all'esercente

Codici 
 CPL – codice aeroportuale IATA dell'aeroporto civile di Chaparral (Colombia)

Altro 
 Cpl – abbreviazione di Corporal, grado militare corrispondente al caporale
 CPL – abbreviazione aeronautica di Current flight plan message – Messaggio di piano di volo in corso
Combined Programming Language

Il CPL (Combined Programming Language) è un linguaggio di programmazione sviluppato da Christopher Strachey congiuntamente ad altri studiosi presso l'Università di Cambridge e l'Università di Londra durante i primi anni 1960.

Il linguaggio è pesantemente influenzato dall'ALGOL, ma invece che essere estremamente leggero, elegante e semplice, il CPL fu progettato per scopi differenti dal calcolo scientifico e per questo motivo è più complesso e meno elegante del suo predecessore.

Bibliografia

Voci correlate
 ALGOL

Collegamenti esterni 
 

Linguaggi di programmazione procedurali
Linguaggi di programmazione imperativi
Linguaggi di programmazione strutturati
Linguaggi di programmazione funzionali
Mitchell Parish



Biografia
All'età di sette mesi si trasferì con la famiglia dalla Lituania agli Stati Uniti. Ben presto cambiarono il loro cognome in "Parish". Vissero circa tre anni e mezzo in Louisiana e successivamente si trasferirono a New York.

Michael cambiò nome in "Mitchell" nel 1919, quando iniziò a lavorare come paroliere. Nel 1922 si sposò con Molly Lillienfeld, da cui ebbe due figlie e un figlio.

Verso la fine degli anni venti era diventato uno tra gli autori più noti, attivi a New York. Scriveva testi per i musical e per le canzoni dei più famosi musicisti. Solo per citarne alcuni, Stardust su musica di Hoagy Carmichael, Sophisticated Lady su musica di Duke Ellington, Moonlight Serenade su musica di Glenn Miller, Sleigh Ride (1950) su musica di Leroy Anderson. Scrisse anche il testo della versione inglese di Volare/Nel blu dipinto di blu di Domenico Modugno. Sue sono anche le parole per la versione jazz di Pavane pour une infante défunte di Maurice Ravel, che ha il titolo di The Lamp Is Low.

Dopo la seconda guerra mondiale tornò all'università e si laureò con lode nel 1950, a cinquant'anni, presso l'università di New York.

Il suo nome è stato inserito nella Songwriters Hall of Fame.

Note

Voci correlate
Sleigh Ride

Collegamenti esterni
TripOS

TRIPOS è un sistema operativo sviluppato nel 1978 all'Università di Cambridge da Martin Richards. Ha costituito la base dell'AmigaDOS.

Storia 
Lo sviluppo iniziò nel 1976 presso il Computer Laboratory dell'Università di Cambridge ed era diretto da Martin Richards. La prima versione apparve nel gennaio 1978 e originariamente funzionava su un PDP-11 Successivamente è stato portato su Computer Automation LSI4 e Data General Nova, venne utilizzato negli anni 1980 anche nell'università di Cambridge come parte del Cambridge Distributed Computing System.

I lavori su una versione del chip Motorola 68000 iniziarono nel 1981 all'Università di Bath. MetaComCo ha acquisito i diritti per la versione per 68000 e ha continuato lo sviluppo fino a quando il sistema operativo venne scelto da Commodore Amiga nel marzo 1985 per far parte di un sistema operativo per il loro nuovo computer, venendo incorporato dentro AmigaDOS nel luglio del 1985. A partire da gennaio 2019, è gestito da OpenGI.

Caratteristiche 
Possiede funzionalità come il multitasking preventivo (utilizzando una pianificazione a priorità rigorosa), un file system gerarchico, l'utilizzo di librerie condivise e alcuni interpreti da riga di comando. I driver nel kernel e delle periferiche sono stati implementati in linguaggio assembly.

Bibliografia 
The TRIPOS Operating System, M. Richards, October 1988.

Voci correlate
 AmigaDOS
 Martin Richards

Collegamenti esterni 

Amiga
Sistemi operativi Amiga
Sistemi operativi non più sviluppati
Giovanni Taddeo Farini



Biografia
Nacque da Domenico Farini e Orsola Cattani in Russi presso Ravenna. Compì studi classici dapprima nel Seminario di Faenza, quindi nel Collegio di Ravenna. In seguito, studiò matematica 
presso l'Università di Pisa sotto la direzione scientifica del matematico Pietro Paoli. Ancora studente, si trasferì presso l'Università di Bologna dove conseguì la laurea in matematica. Perfezionò gli studi matematici presso l'Università di Pavia, sotto la guida del matematico Vincenzo Brunacci, e ivi pubblicò l'analisi di un nuovo sostegno immaginato dal Betancourt. 
Grazie a questo lavoro, venne designato ingegnere all'Arsenale di Venezia.

Eletto professore di Fisica Generale all'Università di Padova nel 1810, coprì dapprima come supplente la cattedra di Introduzione al Calcolo Sublime e quindi ebbe l'incarico per Matematica Pura.

Membro della R.I. Accademia di Scienze Lettere e Arti di Padova, fu membro attivo dal 29 marzo 1810 e presidente negli anni 1819-1820.

Note 

Professori dell'Università degli Studi di Padova
Luigi Guido Grandi



Biografia
Nato a Cremona da Caterina Legati e Piero Martire Grandi, ricamatore, compì i suoi primi studi di grammatica sotto la guida del giovane letterato Giambattista Canneti e poi nel locale Collegio dei Gesuiti, dove ebbe come maestro il futuro matematico Giovanni Girolamo Saccheri. All'età di 16 anni entrò nel monastero camaldolese di Classe in Ravenna, assumendo il nome Guido in sostituzione degli originari Francesco Lodovico, e qui ritrovò l'antico maestro divenuto abate Pietro Canneti.

Proseguiti gli studi teologici a Roma e quelli geometrici e matematici a Firenze, nel 1700 divenne professore di filosofia nel monastero camaldolese di Firenze. Nel 1703 pubblicò il libro La quadratura del cerchio e dell'iperbole, al cui interno scoprì lo stesso paradosso matematico intuito anche da Leibniz, ossia che la somma parziale di una serie a segni alterni di numeri può non convergere (serie di Grandi), e qualche anno dopo, durante una sua visita in Inghilterra (1709), entrò a far parte della Royal Society.

Nel 1714 divenne matematico di corte presso il granduca di Toscana e più tardi professore di matematica nell'Università di Pisa. Fu anche sovrintendente alle acque del granducato, contribuendo ai lavori di drenaggio per la bonifica della Val di Chiana. Collaborò con Tommaso Buonaventuri all'edizione fiorentina delle Opere di Gaileo Galilei (1718), studiò la curva algebrica da lui chiamata "rodonea" per la forma che ricorda il rosone delle chiese romaniche e gotiche (1725 circa) e fu autore degli Elementi di Geometria di Euclide, pubblicati postumi a Venezia (Savioni, 1780).

Fu il primo a usare e a diffondere in Italia la nuova analisi degli infiniti. Scrisse l'opera De infinitis infinitorum... nella quale applicò, tra i primi in Italia, i metodi di Leibniz e Newton.

Opere

Riconoscimenti

Note

Bibliografia
 Giammaria Ortes, Vita del padre D. Guido Grandi, abate camaldolese, matematico dello Studio Pisano, Venezia, Giambatista Pasquali, 1744. Consultabile su Google libri.

Voci correlate 
 Rodonea
 Sofisma algebrico

Altri progetti

Collegamenti esterni 
 
 
 

Benedettini italiani
Membri della Royal Society
Hello world

In informatica Hello world! (in italiano "Ciao mondo!") è un semplice programma dimostrativo, frequentemente utilizzato nella didattica di base, che produce come risultato - output - la scritta "Hello world!" o altre varianti, sfruttando i cosiddetti canali standard (standard output). Il programma non fa altro dunque che far comparire a schermo questa scritta e, per tradizione, diversi manuali di programmazione lo citano spesso per mostrarlo come primo esempio di lessico, sintassi e semantica basilare di un certo linguaggio di programmazione.

Storia 

La scritta viene stampata a video dal primo programma di esempio scritto in C all'inizio del libro Il linguaggio C degli informatici Brian Kernighan e Dennis Ritchie. La versione corrente non è quella originale: all'inizio il testo era semplicemente "hello, world", senza maiuscola e punto esclamativo, che sono entrati nella tradizione solo in seguito.

Il codice originale era questo:

#include <stdio.h>

int main(void){
  printf("hello, world\n");
  return 0;
}

Secondo un'ulteriore versione, molto controversa, il primo Hello, world! noto fu scritto diverso tempo prima in linguaggio BCPL.

Esempi

BASIC
PRINT "Hello, World!"

Bash
echo "Hello, World!"

Batch 
@echo off
echo Hello World!
exit

C 
#include <stdio.h>

int main(void) {
  printf("Hello World!");
  return 0;
}

C++ 
#include <iostream>
using namespace std;

int main() {
  cout << "Hello World!" << endl;
}Rustfn main(){
    println!("Hello World");
}

C# 
using System;
class App
{
  static void Main() {
    Console.WriteLine("Hello World!");
  }
}

Dart 
void main() {
  print('Hello, World!');
}

Go 
package main
import "fmt"

func main() {
    fmt.Println("Hello World!")
}append

Haskell 
main :: IO ()
main = putStrLn "Hello World!"

HTML 
<!DOCTYPE html>
<html>
  <body>
    Hello, World!
  </body>
</html>

Java
class HelloWorld
{
     public static void main(String[] args)
     {
            System.out.println("Hello World!");
     }
}

JavaScript
console.log("Hello World!");

Lua
print("Hello World!")

Objective C
#import <Foundation/Foundation.h>

int main(int argc, const char * argv[]) {
    @mylak {
        NSLog(@"Hello World!");
    }
    return 0;
}

Pascal 
program Hello;
begin
  writeln ('Hello World!')
end.

PHP 
<?php
echo "Hello World!";
?>

Rust 
fn main(){
    println!("Hello, world!");
}

Powershell 
Write-Host 'Hello World!'

Python 
print("Hello World!")

Ruby 
puts"Hello World!"

Swift 
print("Hello, World!")

Clojure 
(println "Hello world!")

Note

Bibliografia

Voci correlate 
 C (linguaggio)
 Brian Kernighan
 Dennis Ritchie
 Programmazione (informatica)
 Proof of concept

Altri progetti

Collegamenti esterni 
 
 
  https://www.gnu.org/fun/jokes/helloworld.html

Programmazione
Università di Londra

L'Università di Londra () è un'università federale fondata nel 1836, costituita da 31 affiliati: 19 college e università e 12 istituti di ricerca. Conta circa 135.000 studenti ed è quindi la più grande università nel Regno Unito e comprende alcune tra le più prestigiose del mondo.

L'università fu fondata con un regio decreto legge, il quale creò la federazione unendo la London University (ora University College London) ed il King's College (ora King's College London).

Organizzazione 
Le nove istituzioni più grandi della federazione, solitamente chiamate college, sono Birkbeck, Goldsmiths, King's College London, la London Business School, la London School of Economics, Queen Mary, University of London, la Royal Holloway, la School of Oriental and African Studies e University College London (UCL). Imperial College London ha lasciato l'Università di Londra ed è diventato indipendente nel luglio del 2007. Nel 2016, City University è diventata parte dell'Università di Londra.

A differenza dei college di altre università quali Oxford e Cambridge, i diciannove membri della federazione dell'Università di Londra sono generalmente trattati come università individuali, godono di maggiore autonomia e sono considerati singolarmente nei ranking nazionali ed internazionali. Alcuni college hanno recentemente ottenuto l'autorità di rilasciare i propri titoli accademici, come UCL, King's College e Queen Mary

Struttura amministrativa

College dell'Università di Londra 
I college costituenti l'Università di Londra sono i seguenti:
Birkbeck, Università di Londra (BBK)
The Central School of Speech and Drama (CSSD)
City, University of London
Courtauld Institute of Art
Goldsmiths, University of London (GUL)
Heythrop College (HEY)
Institute of Cancer Research (ICR)
Institute of Education (IoE)
King's College London (KCL)
London Business School (LBS)
The London School of Economics and Political Science (LSE)
London School of Hygiene & Tropical Medicine (LSHTM)
Queen Mary, University of London (QMUL)
Royal Academy of Music (RAM)
Royal Holloway (RHUL)
Royal Veterinary College (RVC)
School of Oriental and African Studies (SOAS)
The School of Pharmacy, University of London
University College London (UCL)
University of London Institute in Paris (ULIP)
St George's, University of London, precedentemente St George's Hospital Medical School (SGUL)

Vita studentesca 
Il 5% degli studenti del Regno Unito frequenta una delle scuole della Università di Londra. La University of London Union (ULU) agisce da students' union per tutti gli studenti dell'Università di Londra, a fianco delle individuali unions di ogni college ed istituto. L'edificio della ULU è situato in Malet Street (a fianco della Senate House, il centro amministrativo dell'università). Questa unione, oltre a rappresentare gli studenti, ha convenzioni con un gran numero di bar e negozi, possiede il London Student (il più importante giornale studentesco d'Europa) ed offre l'utilizzo delle proprie strutture sportive, come palestre e piscine, agli studenti dell'Università di Londra.

Note

Voci correlate 
Golden Triangle (università)

Altri progetti

Collegamenti esterni
Mud



Sigle 
 Multi user dungeon – gioco di ruolo eseguito su internet attraverso il computer da più utenti
 Modello unico di dichiarazione ambientale – è uno dei tre strumenti amministrativi (insieme al Formulario di identificazione dei rifiuti e al registro di carico e scarico rifiuti) previsti dal D.Lgs. n.152/2006 per controllare il flusso sulla produzione dei rifiuti speciali. È lo strumento con il quale il 30 aprile di ogni anno il produttore dichiara la quantità di rifiuti speciali prodotta e conferita a smaltimento.
 MUD (Mesa de la Unidad Democrática) – coalizione politica venezuelana

Codici 
 MUD – codice aeroportuale IATA dell'aeroporto civile di Mueda (Mozambico)
 mud – codice ISO 639-3 della lingua mednyj aleut

Cinema 
Mud – cortometraggio del 1918 diretto da William Beaudine 
 Mud – film del 2012 diretto da Jeff Nichols

Altro 
 Mud – gruppo glam rock britannico
 Mud (Michele Negrini) – cantante italiano

Altri progetti
Puntatore

Puntatore – nei linguaggi di programmazione, rappresentazione di un indirizzo di memoria
 Puntatore – registro dei calcolatori
 Puntatore – simbolo spostato sullo schermo dai movimenti del mouse o di analoghi dispositivi di puntamento
 Puntatore – riferimento per l'accesso sequenziale ai dati
 Puntatore – membro dell'equipaggio di un bombardiere deputato all'acquisizione del bersaglio
 Puntatore – membro di un pezzo di artiglieria deputato all'acquisizione del bersaglio, può essere sia "di direzione" sia "d'alzo" che "unico".
Glenn Murcutt

Ha studiato architettura dal 1956 al 1960 all'università del Nuovo Galles del Sud. Lavora in Australia, dove elabora costruzioni ecologiche in armonia col clima e col paesaggio utilizzando materiali "semplici" (metallo, legno, vetro, laterizio). Murcutt chiama questo il funzionalismo ecologico.

Comincia la sua carriera collaborando nello studio di Ancher, Mortlock, Murray & Wooley a Sydney. Nel 1969 apre il proprio studio di architettura dove lavora da solo, senza nessun collaboratore. Ha costruito circa 500 case private, e qualche museo e centro culturale, tutti in Australia.

Nel 2002 ha ricevuto il Premio Pritzker. È il primo architetto australiano a ricevere questo premio.

Principali opere 
1972-74: Laurie Short House, Sydney (NSW)
1974-75: Marie Short House, Kempsey (NSW)
1977-80: Nicholas House, Mount Irvine (NSW)
1977-80: Carruthers House, Mount Irvine (NSW)
1980-83: Ball-Eastaway House, Glenory, Sydney (NSW)
1976-79 e 1982-88: Museum of Local History and Tourist Office, eKempsey (NSW)
1981-82: Fredericks House, Jamberoo (NSW)
1982-84: Magney House, Bingie Bingie (NSW)
1986-90: Magney House, Sydney (NSW)
1988-91: Done House, Sydney (NSW)
1988-92: Meagher House, Bowral (NSW)
1989-94: Simpson-Lee House, Mount Wilson (NSW)
1991-94: Marika-Alderton House, Yirrkala Community, Eastern Arnhern Land (NT)
1992: Murcutt Guest Studio, Kempsey (NSW)
1992-94: Bowali Visitor Information Centre, Kakadu National Park (NT), in collaborazione con Troppo Architects
1994-96: Schnaxl House, Newport, Sydney (NSW)
1996-98: Fletcher-Page House, Kangaroo Valley (NSW)
1995-96: Douglas and Ruth Murcutt House, Woodside (SA)
1996-99: Arthur and Yvonne Boyd Art Centre, Riversdale, West Cambewarra (NSW), in collaborazione con Reg Lark e Wendy Lewin
1997-2001: House in the Southern Highlands (NSW)
2006-2017: Moschea, Newport (VIC)
2016-2022: Cobar Sound Chapel, Cobar (NSW)

Onorificenze

Note

Bibliografia
AA.VV., Glenn Murcutt. Disegni per otto case, CLEAN, 1999
Fromonot Françoise, Glenn Murcutt. Opere e progetti, Electa, 1995
Fromonot Françoise, Glenn Murcutt. Tutte le opere, Electa, 2002
Glenn Murcutt, Casa per Aborigeni. Australia, in "Area" n. 34, settembre/ottobre 1997
Glenn Murcutt. Casa Meagher, in "Area" n. 37, marzo/aprile 1998
Intervista a Glenn Murcutt, in "Area" n. 43, marzo/aprile 1999 
Numero monografico di "Area" n. 107, dicembre 2009

Altri progetti

Collegamenti esterni 

Disegni e foto dei progetti (sulla pagina di Glenn Murcutt)

Murcutt, Glenn
Murcutt, Glenn
Premio Pritzker

Il Pritzker Architecture Prize viene assegnato ogni anno per onorare annualmente un architetto vivente, le cui opere realizzate dimostrano una combinazione di talento, visione e impegno, e che ha prodotto contributi consistenti e significativi all'umanità e all'ambiente costruito attraverso l'arte dell'architettura.

Descrizione 
Nato nel 1979 per volontà di Jay Pritzker e di sua moglie Cindy, il premio è sostenuto dalla famiglia Pritzker, sponsorizzato dalla Hyatt Foundation ed è considerato uno dei principali premi per l'architettura nel mondo; è spesso citato come il Premio Nobel per l'architettura. I vincitori ricevono 100.000 US$, un attestato e, dal 1987, una medaglia di bronzo. I disegni sulla medaglia sono ispirati al lavoro dell'architetto Louis Sullivan, mentre l'iscrizione inglese, firmness, commodity, delight, sul verso della medaglia richiama i tre principi dell'architettura secondo l'architetto dell'antica Roma Vitruvio: firmitas, utilitas, venustas. Prima del 1987, una scultura ad edizione limitata dello scultore Henry Moore accompagnava il premio in denaro.

Elenco dei premiati 
Il primo architetto insignito del Pritzker Prize è stato Philip Johnson.  L'anglo-irachena Zaha Hadid è stata la prima donna ad aggiudicarsi il premio. Ryūe Nishizawa nel 2010, all'età di 44 anni, è stato il più giovane tra i vincitori.

Note

Voci correlate 
 Premio Driehaus

Altri progetti

Collegamenti esterni 
 

Pritzker
Type check

In informatica con type check si indica l'operazione che consiste nel controllare che i valori assegnati ad una variabile siano di un tipo di dato ammissibile per il tipo della variabile.

Questa operazione è fondamentale per i linguaggi tipizzati come il C++, dove l'interpretazione del contenuto di una variabile dipende dal suo tipo. Non viene invece effettuata per i linguaggi senza tipi, dove invece è la variabile ad adattarsi al dato che le viene assegnato.

La definizione di un linguaggio tipizzato comprende anche le regole che determinano se una conversione di tipo (type casting) sia ammissibile. Ad esempio, normalmente si può assegnare un intero a 16 bit ad uno a 32 bit, perché non c'è rischio di perdere informazione, mentre non si può fare il contrario.

Alcuni linguaggi utilizzano un type checking statico, ovvero effettuano questo controllo al momento della compilazione, e rifiutano di compilare un programma se ad esempio si tenta di assegnare un intero ad una variabile di tipo puntatore.

Altri effettuano il type checking a runtime, e il compilatore incorpora automaticamente nei programmi eseguibili la logica per valutare se un assegnamento è ammissibile.

Teoria dei tipi
Programmable Read Only Memory

Una Programmable Read Only Memory (PROM, "memoria di sola lettura programmabile"), detta anche One Time Programmable (OTP), nell'elettronica digitale, è una tipologia di memoria ROM a stato solido programmabile una sola volta.

Nasce come evoluzione della ROM a maschera ed è volta a ridurne i notevoli costi di produzione dovuti alla progettazione delle maschere per l'impiantazione ionica. La ROM a maschera richiede infatti di cambiare l'intera linea di produzione ogni qual volta fosse necessario modificare anche una minima parte dei circuiti logici. La PROM invece contiene dei fusibili, che possono essere bruciati secondo le esigenze per implementare i circuiti logici richiesti, e richiede un'apparecchiatura speciale per le operazioni di scrittura.Esiste inoltre una tipologia di PROM in cui al posto dei fusibili vengono usati degli antifusibili, nei quali il collegamento viene creato invece di venire bruciato.

Voci correlate 
 Memoria (informatica)
 ROM (informatica)
 EPROM
 EEPROM

Altri progetti 

ROM
Lista delle classi di complessità

Questa pagina contiene la lista delle classi di complessità, insiemi concernenti la teoria della complessità computazionale.

Nell'articolo computazione compare una mappa delle relazioni di inclusione dimostrabili per le classi di complessità.
Molte delle classi sottoindicate hanno una classe associata in modo involutorio che chiamiamo "co-duale" costituita dai complementi di tutti i linguaggi della classe originale. Ad esempio, se il linguaggio  appartiene a NP, il complementare di  sta in co-NP (questo non è il complementare dell'insieme di linguaggi NP, in quanto vi sono linguaggi in entrambe queste classi e linguaggi che non appartengono a nessuno dei due). Per una classe co-duale non presente in genere è utile esaminare la associata: ad esempio da UP si possono ricavare indicazioni per co-UP.

Note

Collegamenti esterni 
Complexity Zoo - elenco di 467 classi di complessità, al gennaio 2008, e delle loro proprietà.

Classi di complessità
Classi di complessità
Modula-3

Il Modula-3 è un linguaggio di programmazione object-oriented nato come evoluzione del Modula-2. È stato progettato da Luca Cardelli, Jim Donahue, Mick Jordan, Bill Kalsow and Greg Nelson presso i centri di ricerca di DEC e Olivetti.

Programma di esempio (Hello world)

 MODULE Main; 
 IMPORT IO;
 BEGIN
   IO.Put("Hello World\n");
 END Main;

Collegamenti esterni

 

Linguaggi di programmazione orientati agli oggetti
Oberon (linguaggio)

Oberon è un linguaggio di programmazione, derivato dal Modula-2, creato alla fine degli anni ottanta dal Prof. Niklaus Wirth e dai suoi associati al Politecnico Federale di Zurigo in Svizzera. Il nome deriva da quello di Oberon, una delle lune di Urano e non va confuso col sistema operativo Oberon, scritto in Oberon, per le workstation Ceres and Chamaleon.

Il linguaggio Oberon è stato portato su molte diverse piattaforme (compreso Java). Parimenti, il sistema operativo Oberon è stato portato su diversi hardware.

Collegamenti esterni 
 

Linguaggi di programmazione orientati agli oggetti
Yarmouth (Canada)

Yarmouth è una cittadina portuale del Canada, situata nella parte meridionale della Nuova Scozia, sul golfo del Maine e capoluogo dell'omonimo distretto.

Nel corso del XIX secolo fu un importantissimo centro di cantieristica navale ma con l'avvento delle navi a vapore l'attività declinò rapidamente.

Le attività economiche prevalenti sono la pesca, soprattutto delle aragoste, i trasporti tramite traghetti e il turismo.

La città è dotata di un ospedale, scuole, un centro acquisti, uno yacht club, ristoranti e pub.

Infrastrutture e trasporti 
Nelle sue immediate vicinanze si trova un piccolo scalo aeroportuale, l'aeroporto di Yarmouth, che durante la seconda guerra mondiale indicato come RCAF Yarmouth, ospitò reparti della Royal Canadian Air Force (RCAF) e Royal Air Force (RAF), le rispettive aeronautiche militari di Canada e Regno Unito.

Un servizio veloce di ferry la collega con i centri statunitensi di Portland e di Bar Harbor.

Yarmouth è inoltre connessa con il Nuovo Brunswick ed il Maine mediante un'autostrada.

Voci correlate 
Acadia (regione)

Altri progetti

Collegamenti esterni 

Municipalità della Nuova Scozia
Chiamata di sistema

Una chiamata di sistema (in inglese system call), in informatica, indica il meccanismo usato da un processo a livello utente o livello applicativo, per richiedere un servizio a livello kernel del sistema operativo del computer in uso. Essa, di solito, è disponibile come funzione in quei linguaggi di programmazione che supportano la programmazione di sistema (ad esempio il linguaggio C), oppure come particolari istruzioni assembly.

Caratteristiche 

Fondamentale è il passaggio dall'user mode al Kernel mode attraverso una particolare istruzione che si identifica nel trap.

Per motivi di sicurezza, il codice inerente ai servizi del sistema operativo è eseguibile solo in kernel mode, avendo completo accesso all'hardware. Infatti, una chiamata al kernel, richiede spesso l'uso di una speciale istruzione di linguaggio macchina che provoca una commutazione di contesto del microprocessore (da "modalità protetta" a "modalità supervisore", che, sui processori Intel e compatibili viene chiamata da "Ring 3" a "Ring 0"). Questo permette al kernel del sistema operativo di eseguire operazioni riservate quali l'accesso all'hardware o all'unità di gestione della memoria, tuttavia comporta un overhead molto più elevato. Successivamente, quando è terminato il compito esercitato dalla chiamata di sistema invocata, il controllo fa il procedimento inverso, da kernel mode per arrivare nuovamente allo user mode.

Molto importanti, poi, sono anche le chiamate alle librerie utente (API). La chiamata ad una API è identica ad una chiamata ad una funzione dell'applicazione stessa, in pratica viene registrato nello stack lo stato dei registri del microprocessore e l'indirizzo di ritorno. Perciò anche nei sistemi operativi con protezione della memoria e separazione degli spazi di indirizzamento vi sarà un overhead ridotto.

Tipologia 
Le categorie principali di system call sono:

controllo dei processi/thread:
 load,
 execute,
 create/terminate un processo/thread,
 get/info/set gli attributi di un processo/Thread,
 wait e signal,
 allocate
 ecc.
gestione dei file e dei file system:
 create file,
 delete file,
 open/close,
 read e write,
 get/set gli attributi del file,
 ecc.
gestione dei dispositivi:
 request,
 release,
 read e write,
 get/set attributi,
 ecc.
 gestione delle informazioni:
 get/set time o date,
 get/set system data,
 get/set processo, file o attributi di un dispositivo,
 ecc.
comunicazione:
 create/delete connessione,
 send/receive messaggi,
 trasferimento di informazioni di stato,
 ecc.

Su Posix e su sistemi simili, comuni system call sono close(), execlp(), fork(), kill(), open(), read(), wait() e write().

Per i sistemi Windows NT vedere l'articolo Native API.

Collegamenti esterni 
 

Kernel
BETA

BETA è un linguaggio di programmazione puramente object-oriented sviluppato alla Scandinavian School in System Development, dove in precedenza era stato sviluppato il primo linguaggio object-oriented della storia: il Simula.

Da un punto di vista tecnico, il BETA possiede alcune caratteristiche distintive:

 Le classi e le procedure sono unificate sotto lo stesso concetto di pattern.
 Le classi sono definite come un insieme di proprietà ed attributi applicati ad un certo oggetto, per questo motivo le classi non possono esser istanziate al di fuori del contesto formato da un oggetto.
 Come conseguenza del punto precedente, il BETA supporta le classi nidificate, e probabilmente le classi nidificate del BETA sono state la principale fonte di ispirazione per le inner class di Java.
 Le classi possono essere definite come virtuali.
 Metodi e classi definite in modo virtuale non vengonomai sovrascritte, ma raffinate e specializzate.

Il BETA possiede potenti meccanismi di astrazione per identificare, classificare e comporre oggetti, è un linguaggio che implementa un strong type checking (come Simula, Eiffel e C++). È noto che non è possibile avere un buon type checking in fase di compilazione senza sacrificare l'espressività del linguaggio, ma il BETA raggiunge un buon compromesso fra type checking in compilazione e run-time.

Collegamenti esterni

 
 

Linguaggi di programmazione orientati agli oggetti
Run-time

Runtime o run-time (tempo di esecuzione) indica il momento in cui un programma per computer viene eseguito, in contrapposizione ad altre fasi del ciclo di vita del software. 

Tradizionalmente, questa contrapposizione era soprattutto intesa rispetto al tempo di compilazione o compile-time, relativa alla stesura e traduzione del programma sorgente; in questa accezione, spesso si usano anche gli aggettivi dinamico e statico per riferirsi rispettivamente al run-time e al compile-time. Nello scenario della programmazione moderna, che comprende una catena di produzione del software più varia e articolata, run-time può essere contrapposto anche ad altri stadi della vita di un programma, come il deployment time, il linking time e il loading time.

Usi tipici
 Per errore a runtime si intende un errore in un programma che si manifesta solo durante l'esecuzione, non potendo essere rilevato durante la fase di traduzione (a tempo di compilazione). 
 Il runtime system di un programma (o di un linguaggio di programmazione) è l'insieme dell'hardware e del software necessario come piattaforma per l'esecuzione di quel programma (o dei programmi scritti in quel linguaggio).
 Le librerie di runtime di un linguaggio di programmazione sono componenti software necessari a un programma scritto in quel linguaggio per funzionare correttamente; in genere sono raccolte di routine con servizi di base come input/output formattato, manipolazione di stringhe, operazioni matematiche complesse e così via. Con questo significato si trova anche la dizione sintetica runtime per indicare appunto la libreria di una certa applicazione o di un certo ambiente.
 Il linking a runtime, o link dinamico, è il collegamento di un programma al suo runtime system durante l'esecuzione (contrapposto al link in fase di compilazione e al link in fase di caricamento).

Note

Voci correlate 
 Compilazione
 Compile-time

Teorie dell'informatica

en:Runtime library
he:סיבוכיות זמן
ja:ランタイムライブラリ
ko:런타임 라이브러리
Starvation

In informatica, per starvation (termine inglese che tradotto letteralmente significa inedia) si intende l'impossibilità perpetua, da parte di un  processo pronto all'esecuzione, di ottenere le risorse sia hardware sia software di cui necessita per essere eseguito.

Descrizione 
Un esempio tipico è il non riuscire ad ottenere il controllo della CPU da parte di processi con priorità molto bassa, qualora vengano usati algoritmi di scheduling a priorità. Può capitare, infatti, che venga continuamente sottomesso al sistema un processo con priorità più alta. Un aneddoto riguardo a questo problema è la storia del processo con bassa priorità, scoperto quando fu necessario fermare il sistema sull'IBM 7094 al MIT nel 1973: era stato sottomesso nel 1967 e fino ad allora non era ancora stato eseguito.

Per evitare questi problemi si possono utilizzare, oltre ad algoritmi di scheduling diversi, come RR, le cosiddette tecniche di invecchiamento (aging). Ovvero si provvede ad aumentare progressivamente, ad intervalli regolari, la priorità dei processi qualora questi non siano riusciti ad ottenere le risorse richieste. Questo fa sì che anche un processo con la priorità più bassa possa potenzialmente assumere quella più alta, riuscendo così ad ottenere, in un tempo massimo predefinito, quanto di cui necessita.

Altri usi del termine starvation sono in relazione alle risorse di accesso alla memoria primaria o CPU: si dice che un programma è bandwidth-starved quando la sua esecuzione è rallentata da un'insufficiente velocità di accesso alla memoria, o CPU-starved quando il processore è troppo lento per eseguire efficacemente il codice.

Voci correlate 
Computer
Scheduler
Multitasking
Multithreading
Deadlock

Kernel
Scheduling
B (linguaggio di programmazione)

Il linguaggio di programmazione B, ispirato al BCPL, è un linguaggio ormai obsoleto e viene in pratica ricordato solo perché da esso trasse origine uno dei linguaggi più utilizzati al mondo, il C. Sviluppato principalmente da Ken Thompson presso i Bell Laboratories della AT&T Corp., con contributi di Dennis Ritchie, fece la sua comparsa attorno al 1969.

Essenzialmente si tratta del BCPL, privato di tutti quei componenti di cui Thompson ritenne di poter fare a meno, così da poterlo utilizzare sui minicomputer di quel tempo che avevano una quantità di memoria limitata.

Come il BCPL e il FORTH, il B aveva un unico tipo di dato, la parola (word, in inglese). La maggior parte delle operazioni trattava la parola come un intero (i.e. +, -, *, /) ma altre come un indirizzo di memoria da dereferenziare. In molti altri casi assomigliava molto a una versione preliminare del C. Esistevano alcune librerie di funzioni, inclusa una che vagamente ricordava le funzioni che poi andranno a far parte della libreria I/O standard del C.

Le prime implementazioni furono per i minicomputer DEC PDP-7 e PDP-11 che utilizzavano il sistema operativo UNIX e per i mainframe a 36 bit Honeywell su sistema operativo GCOS.

Esempio 
Il seguente esempio è estratto da "Users' Reference to B" di Ken Thompson.
/* La seguente funzione stampa un numero non negativo, n, in
  base b, dove 2<=b<=10.  Questa routine sfrutta il fatto che
  nel sistema di caratteri ASCII i codici delle cifre da O a 9 
  hanno valori in sequenza. */

printn(n,b) {
        extrn putchar;
        auto a;

        if(a=n/b) /* assegnamento, non un test di eguaglianza */
                printn(a, b); /* ricorsivo */
        putchar(n%b + '0');
}

Linguaggi di programmazione procedurali
Linguaggi di programmazione strutturati
Eiffel (linguaggio)

Eiffel è un linguaggio di programmazione object-oriented che enfatizza la scrittura di programmi robusti. Fu uno dei primi linguaggi a oggetti compilati e pensati per l'utilizzo industriale. La sua sintassi ricorda quella di ALGOL, Pascal e Ada. Eiffel ha una tipizzazione forte statica, e una gestione automatica e affidabile della memoria (tipicamente implementata tramite garbage collection).

Descrizione
Il linguaggio è nato nel 1985 e ha avuto applicazioni nell'industria del software, pur non riuscendo a raggiungere il livello di diffusione di altri linguaggi object-oriented compilati (per esempio C++). In virtù delle sue rinomate proprietà di purezza concettuale (ovvero di aderenza al paradigma object-oriented classico), non raramente veniva usato nelle università a scopo didattico; oggi anche in questo ruolo è stato in molti casi soppiantato da Java.

Si differenzia dalla maggior parte dei linguaggi per avere un'implementazione nativa del design by contract. Altre caratteristiche sono:
 Ereditarietà multipla.
 Sistema di tipi in grado di gestire sia la semantica di valore che la semantica di riferimento.
 Classi generiche, cioè parametrizzate da altre classi.
 Orientamento agli oggetti puro. Per esempio, è possibile creare sottoclassi anche della classe INTEGER.
 Overloading degli operatori (ma non dei metodi).

Programma di esempio 
Il seguente esempio è un'implementazione di Hello, world!, il programma che stampa il testo "Hello World".
   class HELLO_WORLD
   create
       make
   feature
       make is
       do
           Io.put_string("Hello World%N")
       end
   end

Altri progetti

Collegamenti esterni 

 Eiffel Software, Inc. web site of the company that introduced Eiffel, was Interactive Software Engineering (ISE).
 Object Oriented Software Construction, Second Edition, by Bertrand Meyer, Prentice Hall, 1997, ISBN 0-13-629155-4; contains a very detailed treatment of the beliefs about object-orientation behind Eiffel.
 Eiffel: the Language subset
 Eiffel tutorial (100 pages) by Bertrand Meyer (HTML, PDF)
 SmartEiffel  fairly complete Eiffel compiler, released under GNU GPL license, was SmallEiffel.
 NICE Nonprofit International Consortium for Eiffel.

Linguaggi di programmazione orientati agli oggetti
Smalltalk

Smalltalk è un linguaggio di programmazione orientato agli oggetti con gestione dinamica dei tipi e con un paradigma di programmazione riflessivo.

Storia 
Sviluppato allo Xerox PARC da Alan Kay,  Dan Ingalls, Ted Kaehler, Adele Goldberg, e altri durante gli anni settanta, Smalltalk ha pesantemente influenzato altri linguaggi come Objective C, C#, Actor, Java, JavaScript e Ruby. Molti concetti attualmente impiegati nello sviluppo del software (es. design patterns, extreme programming, refactoring) derivano dalla comunità Smalltalk.

Smalltalk ha rappresentato un autentico cambio di paradigma rispetto al tradizionale modello procedurale, sostituendo al paradigma tradizionale di Von Neumann (basato sulla separazione dati/programmi) un nuovo paradigma basato sul concetto di oggetto, che contiene, in modo inscindibile, sia dati che programmi. L'elaborazione quindi non è più descritta da una procedura, ma è ottenuta da una "simulazione" del mondo, di cui gli oggetti sono un modello.

Questo cambio radicale non è stato facilmente assimilato dai programmatori tradizionali, abituati a linguaggi come il COBOL o il FORTRAN. I linguaggi derivati sopracitati hanno provveduto a creare un ponte tra il vecchio ed il nuovo paradigma. Tuttavia, questa mediazione ha avuto un costo sulle caratteristiche dei linguaggi stessi, che non raggiungono le caratteristiche di eleganza, semplicità ed efficienza di Smalltalk, da cui hanno importato i concetti innovativi.

Questa difficoltà di passaggio da un paradigma all'altro (peraltro ben nota: si pensi, come esempio estremo, al passaggio dai numeri romani a quelli arabi), unitamente al fenomenale sviluppo delle applicazioni Web (alle quali Smalltalk non era particolarmente orientato) ha fatto ritenere a molti che Smalltalk fosse un linguaggio morto. Nella realtà non è così: la comunità degli utenti Smalltalk è certamente ridotta ma molto attiva e continua a sviluppare applicazioni innovative sfruttando al meglio le caratteristiche di Smalltalk. Si guardino, ad esempio, i framework per applicazioni web Seaside, AIDA o applicazioni futuristiche come Scratch, Sophie o Cobalt.

Dal 2008 è iniziato il progetto di creazione del nuovo ambiente DNG (Dolphin Next Generation) destinato ad unificare due dialetti Smalltalk (VSE di Digitalk e Dolphin di Object Arts) e creare un nuovo ambiente di sviluppo adatto ai prevedibili sviluppi informatici dei prossimi anni.

Descrizione 
Smalltalk è stato creato come un linguaggio per sostenere "un nuovo mondo" di programmazione, ovvero come "la simbiosi dell'umano con il calcolatore", come chiaramente espresso in questo passaggio:

Programma di esempio 
Il seguente esempio stampa il testo "Hello world!".

Transcript show: 'Hello World!'

Note

Bibliografia 
  La rubrica sullo Smalltalk continua nei numeri successivi fino al n° 110.

Collegamenti esterni 
 ESUG European Smalltalk User Group
 STIC Smalltalk Industry Council
 Smalltalk.org Sito di diffusione Smalltalk

Linguaggi di programmazione orientati agli oggetti
Donna che fa il bagno

Donna che fa il bagno è un pastello del pittore francese Edgar Degas, realizzato nel 1883 e conservato al Museo d'Orsay di Parigi.

Siamo davanti a un'altissima testimonianza della curiosità che spingeva Degas a tentare varie possibilità nel campo delle tecniche artistiche utilizzate. L'opera, infatti, è argomento di accesi dibattiti tra i vari critici: molti di loro, infatti, tendono a riconoscere nella Donna che fa il bagno un monotipo ripassato a pastello, mentre altri sono più propensi a inserirlo nel vasto corpus degassiano di pastelli eseguiti su carta.

Comunque sia, l'opera è stata menzionata in un'acutissima e giustamente celebre analisi di Joris-Karl Huysmans rivolta ai nudi femminili realizzati da Degas:

Note

Collegamenti esterni
 Scheda dell'opera  dal sito del Musée d'Orsay

Dipinti di Edgar Degas
Dipinti nel Museo d'Orsay
Dipinti su bagnanti
Ritratto di Mary Cassatt

Il Ritratto di Mary Cassatt è un dipinto a olio su tela (71,4x58,7 cm) realizzato nel 1884 circa dal pittore francese Edgar Degas.

È conservato nel National Gallery of Art di Washington.

Mary Cassatt era una pittrice statunitense amica di Degas; è la protagonista di molti quadri del pittore. Bella, ricca e raffinata, fu anche amante di Degas.

In questo quadro è rappresentata seduta con un abito nero, un cappello in testa e con carte da gioco in mano.

Collegamenti esterni

Dipinti nella National Gallery di Washington
Dipinti di Edgar Degas
Mary Cassatt
Le stiratrici

Le stiratrici è un dipinto del pittore francese Edgar Degas, realizzato intorno al 1884 e conservato al Museo d'Orsay di Parigi.

Descrizione 

Interessato a una registrazione precisa della civilizzazione metropolitana, anche nelle sue zone d’ombra più inquietanti, a partire dagli anni ottanta del XIX secolo Degas sceglie di catturare in maniera casuale quanto offerto dalla città di Parigi, in modo da presentare agli occhi dello spettatore un’analisi recondita di una quotidianità sconosciuta: «Per poter dare buoni frutti bisogna diventare un albero a spalliera. Così si rimane per tutta la vita con le braccia tese, la bocca aperta ad aspettare quello che passa per la strada, quello che ci circonda, per poterlo assorbire e nutrirsene».

Les repasseuses è una delle quattordici opere che Degas dedicò al tema delle stiratrici: l’obiettivo di quelle opere è quello di illustrare il popolo e i massacranti mestieri che compie per guadagnarsi da vivere. Per quanto riguarda quest’opera lo sguardo da voyeur del pittore si intrufola in un’umile lavanderia, dove troviamo due stiratrici. La prima impugna una bottiglia di vino e sbadiglia sonoramente, reclinando il capo e accompagnando il movimento con la mano. La seconda è intenta al lavoro, e ha le braccia tese sul ferro da stiro, che muove sulla biancheria usando tutta la pesantezza del proprio corpo. Altri pochi elementi – una stufa, la biancheria sullo sfondo appesa ad asciugare, una piccola ciotola dell’acqua – completano in maniera efficace l'illustrazione di questo significativo episodio quotidiano.

Curiosa è l’analogia tra Les repasseuses e dipinti analoghi e l'opera letteraria di Émile Zola. Questo era un letterato naturalista, autore di un ampio ciclo di venti romanzi, I Rougon-Macquart. Lo scopo di questa monumentale opera era quello di realizzare un grande affresco sociale della Francia durante il Secondo Impero: nel fare questo Zola non esitò a dare dignità letteraria alle miserie degli umili e dei poveri, dei quali restituì un'immagine scrupolosa e scientifica, priva di idealizzazioni o paternalismi. Les repasseuses, pur essendo una delle testimonianze più alte e sincere del disincantato realismo di Degas, non presenta tuttavia intenti polemici, a differenza di quanto avviene nei romanzi zoliani. Nonostante questa sostanziale divergenza, le stiratrici degassiane presentano forti tangenze con i personaggi che popolano I Rougon-Macquart, del quale Les repasseuses si può quasi considerare un pendant pittorico.

Note 

Dipinti di Edgar Degas
Dipinti nel Museo d'Orsay
Dipinti sul lavoro
SML



Sigle 
 Security market line
 Service Modeling Language  – specifica XML
 Standard ML  – linguaggio di programmazione
 Specific Migration Limits
 Sopra Livello Mare

Codici 
 SML – codice aeroportuale IATA dell'aeroporto civile Stella Maris – Long Island (Bahamas)
 sml – codice ISO 639-3 della lingua sama centrale
 SML – codice valutario ISO 4217 della lira sammarinese
Eiffel (disambigua)

Gustave Eiffel – ingegnere, costruttore tra l'altro dell'omonima torre a Parigi
 Eiffel – impresa di ingegneria fondata da Gustave Eiffel
 Eiffel – film di Martin Bourboulon del 2021
 Eiffel – linguaggio di programmazione
 Eiffel 65 – gruppo musicale italiano
 Eifel – regione della Germania
Mercury (linguaggio)

Mercury è un linguaggio di programmazione appartenente al paradigma di programmazione logica, e non funzionale come spesso viene erroneamente considerato. Basato sul Prolog ma progettato per essere più utile in applicazioni reali (al di fuori dell'ambito accademico). È stato sviluppato all'Università di Melbourne sotto la supervisione di Zoltan Somogyi.

Mercury è un linguaggio compilato, anziché interpretato come la maggior parte dei linguaggi funzionali. Inoltre, possiede un forte type-checking che, unito alle capacità di astrazione tipiche dei linguaggi funzionali, permette, stando agli autori, di scrivere programmi più rapidamente che con altri linguaggi più comuni. Infine, la struttura modulare di Mercury permette di separare i programmi in moduli auto-contenuti, un problema in molti linguaggi funzionali meno recenti.

Esempio (Hello, world!) 

Di seguito l'esempio Hello, world! di Ralph Becket, Università di Melbourne:
:- module hello_world.
:- interface.
:- import_module io.
:- pred main(io__state, io__state).
:- mode main(di, uo) is det.
:- implementation.
 main -->
 	io__write_string("Hello, World!\n").

Collegamenti esterni 
 

Linguaggi di programmazione logica
Linguaggi di programmazione funzionali