PROLOG
O efeito das entradas anteriores é o armazenamento destas fórmulas atômicas representando fatos em uma base de conhecimentos PROLOG.
Se o programa for submetido a um sistema Prolog, este será capaz de responder algumas questões sobre a relação ali representada. Por exemplo: "José é o progenitor de Íris?".
?-progenitor(josé, íris).
Uma outra questão poderia ser: "Ana é um dos progenitores de Jorge?”
?-progenitor(ana, jorge).