Stesura di un linguaggio di programmazione di alto livello; la programmazione logica è strettamente collegata al programma PROLOG, per il trattamento del linguaggio naturale da parte dell'elaboratore e per le sperimentazioni sull'Intelligenza artificiale (NMG)