COALA(1) General Commands Manual COALA(1)NAME
coala - a versatile compiler from action languages to answer set programs
SYNOPSIS
coala [options]file[number]
DESCRIPTION
This manual page documents briefly the coala command.
coala is a versatile compiler from action languages to answer set programs. It supports different encodings, variables and LTL style
queries. It translates an action language into a logic program under the answer set semantics. After being grounded by lparse or gringo,
the logic program can be solved by an answer set solver such as clasp. At the moment coala is able to translate the action language AL, B,
C, a subset of C+ and the action language CTAID. The type of input language can be specified with a command line option.
OPTIONS
These programs follow the usual GNU command line syntax, with long options starting with two dashes (`-'). A summary of options is
included below. For a complete description, see the potassco-guide.
-h, --help
Show summary of options.
--version
Show version of program.
SEE ALSO clasp(1), gringo(1).
AUTHOR
coala was written by Torsten Grote <Torsten.Grote@uni-potsdam.de>
This manual page was written by Thomas Krennwallner <tkren@kr.tuwien.ac.at>, for the Debian project (and may be used by others).
March 4, 2010 COALA(1)
Check Out this Related Man Page
GRINGO(1) General Commands Manual GRINGO(1)NAME
gringo - a grounder for non-ground logic programs
SYNOPSIS
gringo [options][files]
DESCRIPTION
This manual page documents briefly the gringo command.
gringo is a grounder for non-ground answer set programs. Current answer set solvers work on variable-free programs. Hence, a grounder is
needed that, given an input program with first-order variables, computes an equivalent ground (variable-free) program.
OPTIONS
These programs follow the usual GNU command line syntax, with long options starting with two dashes (`-'). A summary of options is
included below. For a complete description, see the potassco-guide.
-h, --help
Show summary of options.
-v, --version
Show version of program.
SEE ALSO clasp(1), claspD(1), clingo(1), iclingo(1).
AUTHOR
gringo was written by Roland Kaminski <kaminski@cs.uni-potsdam.de>
This manual page was written by Thomas Krennwallner <tkren@kr.tuwien.ac.at>, for the Debian project (and may be used by others).
March 4, 2010 GRINGO(1)
To anyone that can answer this:
Are the differences great between the ANSI and K&R standard? What are some of the major differences between them??
-REM (1 Reply)
Since I am a bad student (always sleep in class), I don't quite remember how my professor talked about the differences between Object-oriented programming and Structured (or procedual) programming.
What I understand is it:
Structured programming combines a series interacting functions... (7 Replies)
I'm sorry if this has been posted before, but I'm in a big hurry and I need a pretty quick answer: I have to make a project for school which consists of many BASH scripts. At school we have Sun Sparcs. During the laboratory hours I used to open the text editor (in the graphics interface), edit the... (4 Replies)
I am searching for some logic which will help me to introduce quick action for the errors. We have application server and we need to check the bunch of information for every 10 minutes and alert thru mail. I wrote a script in which i am tailing last 1000 lines and counting one exception then... (21 Replies)
I'd like to write a program (I'm flexible on language; C/C++ was my original idea but a scripting language would probably be better) that runs hundreds of programs, but only N = 4 (say) at a time. The idea is to keep all the cores on a multicore machine busy.
How can I do this? In particular,... (6 Replies)
Good afternoon,
I wonder how i could use unix commands to ease the reading of long command result output ?
like the "php -i" or any other command that returns a long answer.
I could not find the right terms to Google it or search the forum. Therefore I bother you with this question.
... (3 Replies)
I am making a command line program in C using XCode. When running the program, it initially does what it is supposed to do (asks me for a file path). However, when I type in a valid and existing file path, it gives me the following error:
Program received signal: “EXC_BAD_ACCESS”.... (6 Replies)
I am trying to obtain all user accounts and their respective home directories.
/etc/passwd contains the required information, but I want to filter it to only show the uid,username and home directory path.
I am working on a Solaris 11 machine.
I made a little headway so far, but I got stuck... (7 Replies)
cmd()
{
echo " "
echo "$(whoami)@$(hostname):$(pwd)# $*"
results=`eval $*`
echo $results
}
I want to get the eval $* 's return value and pass it to a new variable $val, and get "eval $*" 's the ... (7 Replies)
Trying to use the read command. How do you add a 2nd option? In this example I'd like to offer two options, pre and post. If you answer pre, you get one output but if you answer post, you get another output.
echo Is this pre or post?
read pre
if
then echo You have typed pre.
fi (6 Replies)