Ett logikprogram är en mängd av axiom. Den beräkning som görs består i att med automatisk bevisföring försöka finna värden på variablerna i en given målsats så att denna kan härledas från axiomen. Ansatsen avser att möjliggöra programmering på hög nivå, dvs. man vill koncentrera sig på att beskriva vad