In questo caso occorre capire se A è vera , data la conoscenza di base. È chiaro che la questione siaè sicuramente vera, dal momento che <math> A \wedge B </math> è vera, e B pure. Questa costruzione conoscenza di base/domanda è il modo in cui lavora il Prolog. Puoi scrivere una conoscenza di base (il tuo programma) e chiedere una questione a Prolog.A paragone dei linguaggi di programmazione , la conoscenza di base è il tuo programma , la domanda è il tuo input ed il Prolog svolge il programma risolvendo la tua domanda.
