Package net.sf.tweety.lp.asp.examples
Class ASPCore2ParserExample
- java.lang.Object
-
- net.sf.tweety.lp.asp.examples.ASPCore2ParserExample
-
public class ASPCore2ParserExample extends java.lang.Object
Examples for parsing simple ELP programs and for using Clingo to solve them.- Author:
- Anna Gessler
-
-
Constructor Summary
Constructors Constructor Description ASPCore2ParserExample()
-
Method Summary
Modifier and Type Method Description static void
main(java.lang.String[] args)
-
-
-
Method Detail
-
main
public static void main(java.lang.String[] args) throws ParseException, java.io.FileNotFoundException
- Throws:
ParseException
java.io.FileNotFoundException
-
-