- 소프트웨어 : FOML
- OS : Linux,BSD,Windows
- 프로그래밍 언어 : Prolog
- 공식 웹사이트 : HOME
FOML 상세
FOML은 객체 모델링, 분석 및 추론을 지원하는 표현적 인 논리 룰 언어입니다.자연스럽게 제약 조건 (UML 다이어그램 확장), 동적 구성 모델링, 분석 및 모델, 모델 테스트, 디자인 패턴 모델링, 도메인 특정 모델링 언어 사양 및 메타 모델링과 같은 모델 수준의 활동을 자연스럽게 지원합니다.
이유를 할 수 있습니다 :
1.모델 메타 데이터 (메타 모델 레벨 추론 또는 구문 추론)
2.데이터 수준 : 모델 및 해당 데이터에 대한 이유 (인스턴스 모델, 즉, 다이어그램)
FOML은 PATHLP 상단의 시맨틱 레이어로 만들어집니다. 경로 표현식의 컴팩트 한 로직 규칙 언어 인 F의 하위 집합의 적응-논리.