Abductief logisch programmeren