sparc

sparc copied to clipboard

Answer set with two abductive supports is duplicated

1

@iensen :grin: Below is a CR-Prolog program: ``` predicates a(). b(). c(). rules a. -a :- not b, not c. b :+. c :+. b :- c. c :- b....

vuphan314

Given a program with empty sorts, such as: ``` sorts #booleans = {true, false}. #garage = {r2}. #john = {r1}. #football = {r3}. #activity = {}. #carry = {}. ```...

amdorsey12

Given program ``` %%%%%%%%%%%%%%%%%%%%%%%%%%%%% %% Template for a SPARC file %% Author: %% Description: %%%%%%%%%%%%%%%%%%%%%%%%%%%%% sorts #people = {f(a,sara), f(b, sara), f(a, bob)}. predicates father(#people, #people). rules father(f(a,bob), f(a,sara)). father(f(a,...

zhangyuanlin

iensen

This program: 1{p(X):#s(X)}1 should work.

iensen

When an unsupported version of clingo is used (

iensen

`:- #count{X1 : p(X1)} > 0, q(X1).` should produce an error or a warning

vuphan314

iensen

Allow 'mod' to occur in program literals.

iensen

The program with # maxint = 100000. does not compile..

iensen