(https://gitlab.com/vynce/chrpp) examples

cutedge-100-30.chrpp
$ chrppc cutedge-100-30.chrpp cutedge-100-30.cpp -o .
that generates
cutedge-100-30_chr_ASP.cpp
cutedge-100-30_chr_header.hpp
cutedge-100-30_chr_main.cpp
That are compiled with : g++ -std=c++1z -O3 -I/usr/local/include/chrpp -DENABLE_STATISTICS cutedge-100-30_*.cpp -o cutedge-100-30

cutedge-100-50.chrpp
cutedge-100-50_chr_ASP.cpp
cutedge-100-50_chr_header.hpp
cutedge-100-50_chr_main.cpp

cutedge-100-60.chrpp
cutedge-100-60_chr_ASP.cpp
cutedge-100-60_chr_header.hpp
cutedge-100-60_chr_main.cpp

cutedge-200-30.chrpp
cutedge-200-30_chr_ASP.cpp
cutedge-200-30_chr_header.hpp
cutedge-200-30_chr_main.cpp

cutedge-200-50.chrpp
cutedge-200-50_chr_ASP.cpp
cutedge-200-50_chr_header.hpp
cutedge-200-50_chr_main.cpp

Prolog examples

(a:-e,f,g,not(c),not(d)),c,e,f,g
• (a:-e,f,g,not(c),not(d)),e,f,g
• (a:-e,f,g,not(c),not(d)),e,f,g,(c:-a)
• (a:-e,f,g,not(c),not(d)),e,f,g,(c:-a,not(a))
• (a:-b),(b:-a)
• (a:-not(b)),(b:-not(a))
• (a:-not(b)),(b:-not(a)),(a:-not(a))
• (b:-not(a)),(a:-not(b)),(a:-not(a),not(b))
• (b:-not(a)),(a:-not(b)),(a:-not(a),not(b)),(c:-b),(d:-b)
• (b:-not(a)),(a:-not(b)),(a:-not(a),not(b)),(c:-b),(d:-b),(bot:-not(a))
• (a:-not(a))
• c,(bot:-c,not(a)),(b:-not(a),not(d)),(a:-not(b),not(d))
• (bot:-not(a)),(bot:-not(e),not(f)),(bot:-not(a),not(b))
• d,(c:-d,not(a)),(b:-not(a),not(b))
• d,(c:-d,not(a)),(a:-c)
• d,(c:-d,not(a)),(a:-c),(a:-d,not(c)),(c:-a)
• (h:-a,b,not(c),not(d))
• (a:-b,not(c))
• (a:-not(b)),(b:-c),(c:-b)
• (a:-not(b)),(b:-c),(c:-b),(c:-d),d
• (a:-not(b)),(d:-a),(b:-c),(c:-b),(c:-d)
• (a:-not(b)),(d:-a),(b:-c),(c:-d),(b:-not(c))
• (a:-not(b)),(d:-a),(b:-c),(c:-d),(e:-not(c)),(e:-b)
• (a:-not(b)),(d:-a),(b:-c),(c:-d),(e:-not(c)),(b:-e)
• a(1),f(1),(d(X):-c(X)),(c(X):-a(X),not(b(X))),(b(X):-a(X),not(c(X))),(e(X):-f(X),not(b(X)))
• v(1),v(2),v(3),green(4),edge(1,3),edge(3,4),(red(X):-v(X),not(green(X))),(green(X):-v(X),not(red(X))),(bot:-edge(X,Y),red(X),red(Y)),(bot:-edge(X,Y),green(X),green(Y))
• a(1),(b(X):-a(X),not(c(X))),(c(X):-a(X),not(b(X))),(d(X):-c(X))
• (a:-not(b)),(b:-not(a)),(e:-not(f)),(f:-not(e)),(c:-not(d)),(d:-not(c)),(bot:-a,e),(bot:-a,f)
• (a:-not(b)),(d:-a,not(c)),(e:-not(d)),(b:-not(a)),(c:-a,not(d)),(bot:-a,e)
• n(1),(n(X):-n(Y),X is Y+1,X=<2),(a(Y):-X is Y+1,n(Y),not(b(Y)),not(b(X))),(b(Y):-n(Y),not(a(Y))),(c(Y):-X is Y+1,n(Y),not(b(X)))
• (a:-b),a,(b:-a),(c:-b,d),(c:-e,f),d,(e:-f),f
• (a:-b),(b:-a,c),(b:-d)
• (a:-not(a),b),(b:-not(c))
• (a:-c,not(b)),(b:-not(a)),(d:-not(c),not(d)),c
• bot:-not(a)
• bot:-not(a),not(b)
• p(1),p(2),p(3),(a(X):-p(X),not(b(X))),(b(X):-p(X),not(a(X))
• a:-b,c,not(f),not(g)),(b:-a,c,not(g),not(f)),(c:-a),(d:-b),(f:-c,g),(g:-d,f)
• (a:-not(b),not(b)),(d:-a,not(c),not(c)),(e:-not(d),not(d)),(b:-not(a),not(a)),(c:-a,not(d),not(d)),(bot:-a,e)