Prologo

[KOMPUTIKO] Programlingvo bazita sur predikatokalkulo, aperinta en la 1970aj jaroj kaj multe uzata por artefarita intelekto.