languages for logical programming 4618106