https://123dok.com/document/zxom474z-penggunaan-algoritma-proses-resolusi-eksekusi-program-bahasa-prolog.html