languages for logical programming 3928423