issues
search
LogicalContracts
/
LogicalEnglish
Apache License 2.0
24
stars
6
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Fix error in check
#35
LyzardKing
closed
4 months ago
1
Add checks for wasm support
#34
LyzardKing
closed
4 months ago
0
Add predicate to return a list with the explanation
#33
LyzardKing
closed
4 months ago
0
Date time within
#32
joewatt95
closed
11 months ago
1
Wuenic extensions
#31
MigadaTang
closed
1 year ago
1
Add support for taking min and max over predicates
#30
joewatt95
closed
1 year ago
3
Merge changes made on main branch
#29
MigadaTang
closed
1 year ago
0
Improved plot syntax
#28
MigadaTang
closed
1 year ago
9
Plot Syntax
#27
MigadaTang
closed
1 year ago
3
Feature arithmetic
#26
MigadaTang
closed
1 year ago
0
Feature arithmetic
#25
MigadaTang
closed
1 year ago
7
[WIP] Feature arithmetic (Just for code comparison, not meant to be merged)
#24
MigadaTang
closed
1 year ago
3
[WIP] support arithmetic expressions
#23
MigadaTang
closed
1 year ago
2
[WIP] Support arithmetic expressions
#22
MigadaTang
closed
1 year ago
1
Error reporting the computed answer in LE
#21
jacintodavila
opened
2 years ago
0
Mishandling of Unicode
#20
jacintodavila
opened
2 years ago
0
FileSystem Errors
#19
jacintodavila
opened
2 years ago
1
Add new sCASP language flag
#18
LyzardKing
closed
2 years ago
0
Expand meta information returned by text_to_logic
#17
mcalejo
opened
2 years ago
0
Robustness for multithreading
#16
mcalejo
opened
2 years ago
0
Provide client API to map LE predicate arguments to Prolog terms
#15
mcalejo
opened
2 years ago
0
Problem with load_named_file for included documents
#14
jacintodavila
opened
2 years ago
0
Bug in aggregate_all of the reasoner
#13
jacintodavila
opened
2 years ago
1
Fake indentation error with comments in rules
#12
jacintodavila
opened
2 years ago
1
the (is/2) built in problem
#11
jacintodavila
opened
2 years ago
3
Wrong translation of math expressions (A - B - C)
#10
jacintodavila
opened
2 years ago
0
which person likes which person
#9
jacintodavila
opened
2 years ago
0
Tweak italian print_message
#8
LyzardKing
closed
2 years ago
0
Logical languages
#7
LyzardKing
closed
2 years ago
0
Initial logical italian translations
#6
LyzardKing
closed
2 years ago
0
Format scasp pred definitions and examples
#5
LyzardKing
closed
2 years ago
0
ERROR: No permission to modify static procedure `(is)/2'
#4
jacintodavila
closed
2 years ago
1
Explanations in le: Adding an extra clause to deal with le_Explanations(E)
#3
jacintodavila
closed
2 years ago
0
Extending the explanatory system to allow for both taxlog and le expl…
#2
jacintodavila
closed
2 years ago
1
Explanations in le: Update to the explanations for LE (rule highlighting)
#1
jacintodavila
closed
2 years ago
0