Implementace překladače PROLOGu do kódu Warrenova abstraktního počítače