Prolog/o KOMP Programlingvo bazita sur predikatokalkulo, aperinta en la 1970-aj jaroj k multe uzata por artefarita intelekto.