이것은 Ubuntu Online, Fedora Online, Windows 온라인 에뮬레이터 또는 MAC OS 온라인 에뮬레이터와 같은 여러 무료 온라인 워크스테이션 중 하나를 사용하여 OnWorks 무료 호스팅 제공업체에서 실행할 수 있는 명령 coala.bin입니다.
프로그램:
이름
coala.bin - 액션 언어에서 답변 세트 프로그램에 이르기까지 다재다능한 컴파일러
개요
coala.bin [옵션]파일
기술
이 매뉴얼 페이지는 간략하게 설명합니다 coala.bin 명령.
coala.bin 액션 언어에서 세트 프로그램에 응답하는 다용도 컴파일러입니다. 그것
다양한 인코딩, 변수 및 LTL 스타일 쿼리를 지원합니다. 행동을 번역한다
언어를 응답 집합 의미 체계에 따라 논리 프로그램으로 변환합니다. 에 근거한 후
파스 or 외국인, 논리 프로그램은 다음과 같은 답 세트 솔버로 풀 수 있습니다. 걸쇠.
순간 coala.bin C+의 하위 집합인 액션 언어 AL, B, C를 번역할 수 있습니다.
그리고 액션 언어 CTAID. 입력 언어 유형은 명령으로 지정할 수 있습니다.
라인 옵션.
옵션
이 프로그램은 일반적인 GNU 명령줄 구문을 따르며 긴 옵션은 다음으로 시작합니다.
두 개의 대시(`-'). 아래에 옵션 요약이 포함되어 있습니다. 완전한 설명을 위해,
potassco 가이드를 참조하십시오.
-시간, --도움
옵션 요약을 표시합니다.
onworks.net 서비스를 사용하여 온라인으로 coala.bin 사용