1:- module(scasp_man, [], [assertions]).    2
    3:- doc(filetype, application).    4
    5:- doc(title, "s(CASP)").    6
    7:- doc(subtitle, "A stable model semantic solver for constraint logic programs"
    8    ).    9
   10:- doc(author, "Joaquin Arias").   11:- doc(copyright, "").   12
   13:- doc(summary, "This is the manual of @apl{s(CASP)} is a bundle for
   14the Ciao System which allows the evaluation of constraint logic
   15programs under the stable model semantics. ").   16
   17:- doc(module, " 
   18
   19The s(CASP) system is a top-down interpreter for ASP programs with
   20constraints.
   21
   22This work was presented at ICLP'18 (Arias et al. 2018), also available
   23at @href{https://arxiv.org/abs/1804.11162}.
   24
   25@section{Details}
   26
   27s(CASP) (available at
   28@href{https://gitlab.software.imdea.org/joaquin.arias/sCASP} by
   29Joaquin Arias (visit
   30@href{https://software.imdea.org/~joaquin.arias}, is based on s(ASP)
   31(available at @href{https://sourceforge.net/projects/sasp-system}) by
   32University of Texas at Dallas.
   33
   34s(CASP) is an implementation of the stable model semantics of
   35constraint logic programming. Unlike similar systems, it does not
   36employ any form of grounding. This allows s(CASP) to execute programs
   37that are not finitely groundable, including those which make use of
   38lists and terms.
   39
   40@section{Overview of this document} 
   41
   42This document is divided in two parts:
   43
   44@begin{itemize} 
   45
   46@item @bf{Part I - Installation}. It explains how to download and
   47install this this bundle.
   48
   49
   50@item @bf{Part II - Usage}. s(CASP) Usage details how to use this
   51bundle and its options. Also, several execution modes are shown.
   52
   53@end{itemize}
   54    ").