새로운 개발자 도구 에 Mercury Developers

로직 프로그래밍 언어는 20 년 이상 주변에 있었다. (예를 들면 C, C ++, 파스칼과 에이다 같은) 종래의 프로그래밍 언어 위에 로직 잘 개발 된 이론에 기초하여 매우 높은 수준의 프로그래밍 언어의 예상 장점에도 불구하고 그들은 컴퓨터 산업에 중요한 영향을 미치지 않았다.수성은 선명도와 고급 정적 분석 및 오류 검출 기능을 선언적 프로그래밍의 표현력을 결합하는 새로운 논리 / 함수형 프로그래밍 언어입니다.수은은 매우 실행 알고리즘은 기존의 논리...