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