Examples with ParsedProgram at.ac.tuwien.kr.alpha.grounder.parser.ParsedProgram used on opensource projects

Example 1 with ParsedProgram

use of at.ac.tuwien.kr.alpha.grounder.parser.ParsedProgram in project Alpha by alpha-asp.

the class SolverTests method testFunctionTermEquality.

@Test
public void testFunctionTermEquality() throws IOException {
    String testProgram = "r1(f(a,b)). r2(f(a,b)). a :- r1(X), r2(Y), X = Y.";
    ParsedProgram parsedProgram = parseVisit(testProgram);
    Grounder grounder = new NaiveGrounder(parsedProgram);
    Solver solver = getInstance(grounder);
    Set<AnswerSet> expected = new HashSet<>(Collections.singletonList(new BasicAnswerSet.Builder().predicate("r1").instance("f(a,b)").predicate("r2").instance("f(a,b)").predicate("a").build()));
    Set<AnswerSet> answerSets = solver.collectSet();
    assertEquals(expected, answerSets);
}

Example 2 with ParsedProgram

use of at.ac.tuwien.kr.alpha.grounder.parser.ParsedProgram in project Alpha by alpha-asp.

the class SolverTests method testUnsatisfiableProgram.

@Test
public void testUnsatisfiableProgram() throws IOException {
    String testProgram = "p(a). p(b). :- p(a), p(b).";
    ParsedProgram parsedProgram = parseVisit(testProgram);
    Grounder grounder = new NaiveGrounder(parsedProgram);
    Solver solver = getInstance(grounder);
    List<AnswerSet> answerSets = solver.collectList();
    assertEquals(0, answerSets.size());
}

Example 3 with ParsedProgram

use of at.ac.tuwien.kr.alpha.grounder.parser.ParsedProgram in project Alpha by alpha-asp.

the class SolverTests method testProgramZeroArityPredicates.

@Test
public void testProgramZeroArityPredicates() throws Exception {
    String testProgram = "a. p(X) :- b, r(X).";
    ParsedProgram parsedProgram = parseVisit(testProgram);
    Grounder grounder = new NaiveGrounder(parsedProgram);
    Solver solver = getInstance(grounder);
    List<AnswerSet> answerSets = solver.collectList();
    assertEquals(1, answerSets.size());
    AnswerSet expected = new BasicAnswerSet.Builder().predicate("a").build();
    assertEquals(expected, answerSets.get(0));
}

Example 4 with ParsedProgram

use of at.ac.tuwien.kr.alpha.grounder.parser.ParsedProgram in project Alpha by alpha-asp.

the class SolverTests method testFactsOnlyProgram.

@Test
public void testFactsOnlyProgram() throws IOException {
    String testProgram = "p(a). p(b). foo(13). foo(16). q(a). q(c).";
    ParsedProgram parsedProgram = parseVisit(testProgram);
    Grounder grounder = new NaiveGrounder(parsedProgram);
    Solver solver = getInstance(grounder);
    List<AnswerSet> answerSets = solver.collectList();
    assertEquals(1, answerSets.size());
    AnswerSet expected = new BasicAnswerSet.Builder().predicate("q").instance("a").instance("c").predicate("p").instance("a").instance("b").predicate("foo").instance("13").instance("16").build();
    assertEquals(expected, answerSets.get(0));
}

Example 5 with ParsedProgram

use of at.ac.tuwien.kr.alpha.grounder.parser.ParsedProgram in project Alpha by alpha-asp.

the class SolverTests method sameVariableTwiceInAtomConstraint.

@Test
public void sameVariableTwiceInAtomConstraint() throws IOException {
    String program = "p(a, a).\n" + ":- p(X, X).\n";
    ParsedProgram parsedProgram = parseVisit(program);
    NaiveGrounder grounder = new NaiveGrounder(parsedProgram);
    Solver solver = getInstance(grounder);
    Set<AnswerSet> answerSets = solver.collectSet();
    assertTrue(answerSets.isEmpty());
}