The Significance of Memory Costs in Answer Set Solver Implementation | UPT Perpustakaan UHAMKA