공리 작업을위한 프로그래밍 언어

Question

편집 : Prolog가 답입니다.

Answer 1

프롤로그는 공리를 처리하는 데 좋습니다. Sourceforge.net에는 Prolog의 오픈 소스 객체 지향 확장이 있습니다.

http://sourceforge.net/projects/oopl/

Answer 2

나는 유형의 시스템을 믿는다 요새 프로그래밍 언어 당신이 묘사하는 것과 비슷한 방식으로 작동합니다. 일반적인 특성을 가진 객체 지향 유형 시스템을 사용하여 연산자의 대수적 특성 (연관성, 정류, 분포 성, 정체성, 대칭, 원소, 제로 요소 등)을 설명합니다. 클러스터의 노드에 계산을 자동으로 분배하려면이 모든 것을 알아야합니다.