use of at.ac.tuwien.kr.alpha.grounder.NaiveGrounder 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);
}
use of at.ac.tuwien.kr.alpha.grounder.NaiveGrounder 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());
}
use of at.ac.tuwien.kr.alpha.grounder.NaiveGrounder 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));
}
use of at.ac.tuwien.kr.alpha.grounder.NaiveGrounder 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));
}
use of at.ac.tuwien.kr.alpha.grounder.NaiveGrounder 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());
}
Aggregations