Ideal-Logic Program Set-up