Realizacija abstraktnega ra"cunalnika WAM na procesorju i860

WAM (Warren Abstract Machine) je osnova v ve"cini dana"snjih izvedb prologa. Njegov nabor ukazov je lahko jezik interpreterja, vmesna koda za prevajanje v zbirnik ali pa je realiziran v strojni opremi. Glavni del diplomske naloge je realizacija abstraktnega ra"cunalnika WAM v zbirniku za procesor i860. Poleg tega so realizirani nekateri dodatni ukazi, ki so zna"cilni za prolog (built-in commands). Sistem tudi omogo"ca povezavo med prologovimi programi in pascalskimi podprogrami.