ICLINGO(1) General Commands Manual ICLINGO(1)NAME
iclingo - an incremental ASP system
SYNOPSIS
iclingo [options][files]
DESCRIPTION
This manual page documents briefly the iclingo command.
iclingo is an incremental ASP system implemented on top of clingo. It is based on the idea that the grounder as well as the solver are
implemented in a stateful way. Thus, both keep their previous states while increasing an incremental parameter. As regards grounding, at
each incremental step, the goal is to produce only ground rules stemming from the current program slice, without re-producing previous
ground rules. The ground program slices are then gradually passed to the solver that accumulates ground rules and computes answer sets for
them.
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), gringo(1).
AUTHOR
iclingo 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 ICLINGO(1)
I have been asked to use ASP on UNIX and I have no idea what the limitations are. I have pages using ASP on NT with SQL7, is there an easy transition for my current pages to work on UNIX? Any help is much appreciated. THX (5 Replies)
I am writing a C program that part of the idea is to using a command line parameter to control not to run certain part of the sub program.
I am totally new to C, I do not have any idea how to pass a command line arguments from a C program.
Can anyone help ?!
Thanks (3 Replies)
I have build myself a ASP-forum, but the new server of my client doesn't support ASP, now I want to know how I can make a simmilar forum in PHP.
Does anyone know where I can find some sort of manual PHP for ASP-freakz?! :confused: (1 Reply)
Dear all ,
I have a serious question and i need an answer before i go throught a new project.
I have an oracle DB is on remote UNIX box.How can I connect through ASP.net on a windows server machine to the oracle db and do all the jobs i need (insert ,update delete) ? is their is a way ??
please... (2 Replies)
I have a user that runs a menu driven application, is there a way to see what scripts this application is executing in the back ground?
OS=AIX 4.3 (1 Reply)
Hi Everybody
I have intalled new server at our LAN but I need special program or batch file to check two folders in different servers to make incremental copy.
can any one advice me to solve this problem.
Thank you (4 Replies)
When we use shell command, options often follow the character "-", but sometime options follow the character"--".
So I doubt that if there are some rules to decide use "-" or "--"?
Thanks ! (2 Replies)
Dear help!
I want to print
The number i is number i
let i=1 to 5
output
should be like
The number 1 is number 1
The number 2 is number 2
The number 3 is number 3
The number 4 is number 4
The number 5 is number 5
Would be gr8 if you mke this with awk
Thanks (7 Replies)
For my programming class I need to write a program that reads a ground number and a power, calculates, and then prints the answer on screen.
for this program the teacher makes me use pointers and different sub programs for the input output and calculation.
my code is:
/*Libraries*/... (2 Replies)
Multiple questions coming your way.
A little back ground info as to why I am back to basics.
A dear friend of mine passed away recently and as a request by him I have promised to keep his project alive. The problem I have it was being handed over when he was in the last weeks of his life and... (1 Reply)