issues
search
Topology
/
ALM-Compiler
A Java implementation of the ALM language that compiles to the SPARC variant of Answer Set Programming (ASP).
Apache License 2.0
0
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
constant and its attribute function (instantiation)
#39
zhangyuanlin
opened
6 years ago
4
library import - breaking up the program
#38
anuradha252
opened
6 years ago
0
CALM interface
#37
zhangyuanlin
opened
6 years ago
1
On instance defined for non-source sort -- current ALM definitions
#36
zhangyuanlin
opened
6 years ago
1
On instance definition for non-source sort -- philosophical discussion
#35
zhangyuanlin
opened
6 years ago
0
instance(X,Y) instead of is_a for instance declarations
#34
Topology
opened
6 years ago
0
CALM exception - wrestler and opponent
#33
anuradha252
opened
6 years ago
3
CALM exception - on monkey banana using library
#32
zhangyuanlin
opened
6 years ago
2
CALM exception on (a possibly buggy) all-in-one-Monkey-Banana
#31
zhangyuanlin
opened
6 years ago
4
instance of general actions
#30
zhangyuanlin
opened
6 years ago
1
total function
#29
zhangyuanlin
opened
6 years ago
2
CALM bug?
#28
zhangyuanlin
opened
6 years ago
3
attribute function applied to a constant in the head of a state constraint
#27
zhangyuanlin
opened
6 years ago
2
instance belonging to two different sorts
#26
anuradha252
opened
6 years ago
7
Replace all "IMPLEMENTATION_FAILURE" calls with semantic errors.
#25
Topology
opened
6 years ago
1
CALM distribution - library
#24
zhangyuanlin
opened
6 years ago
2
proper treatment of total functions
#23
Topology
opened
6 years ago
1
CALM issue -- classical negation allowed in head of a definition?
#22
zhangyuanlin
closed
6 years ago
4
CALM bug? - no output folder after compilation
#21
zhangyuanlin
closed
6 years ago
2
CALM bug? - instance literal in instantiation statement
#20
zhangyuanlin
closed
6 years ago
3
CALM bug? - instantiation using X
#19
zhangyuanlin
closed
6 years ago
4
CALM bug? --
#18
zhangyuanlin
closed
6 years ago
6
Add Complex Arithmetic Expressions
#17
Topology
opened
6 years ago
1
CALM bug? – translation attribute (Herbrand term related)
#16
anuradha252
opened
6 years ago
11
Testing (development) - wrestler_and_opponent.txt - 1
#15
zhangyuanlin
opened
6 years ago
3
Monkey Banana - Test case
#14
zhangyuanlin
opened
6 years ago
2
wrestler_and_opponent.txt -- test case for Library
#13
zhangyuanlin
opened
6 years ago
2
summary of actions
#12
zhangyuanlin
opened
6 years ago
3
Does ALM need namespaces?
#11
Topology
opened
6 years ago
1
Test results - using attribute to represent "constant with parameters - top(elevations)"
#10
zhangyuanlin
closed
6 years ago
7
Support for Aggregate Expressions.
#9
Topology
opened
6 years ago
0
CALM bug? - "singleton" anonymous subsort of elevations in basicmotion_yn
#8
zhangyuanlin
closed
6 years ago
3
CALM design - format of content of library files AND ALM library
#7
zhangyuanlin
opened
6 years ago
3
Design issue in ALM - define constant/instance for non-source sort
#6
zhangyuanlin
opened
6 years ago
3
Design bug in ALM - no attributes allowed in constant declaration
#5
zhangyuanlin
closed
6 years ago
5
missionaryCannibal - integer/interval sorts
#4
zhangyuanlin
closed
6 years ago
13
Constant with parameters in ALM
#3
zhangyuanlin
opened
6 years ago
12
Should we allow -(father(bob) = john) ?
#2
zhangyuanlin
opened
6 years ago
2
Should the restriction that source sorts must be leaves in the sort hierarchy be relaxed?
#1
Topology
closed
6 years ago
2