Return to Article Details A semantics of logic programs without searching Download Download PDF