issues
search
bakaq
/
constrained.pl
Provides generalized versions of common Prolog predicates using constraints to make them more flexible and declarative.
The Unlicense
8
stars
2
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Addresses singleton variable warnings in `tests.pl`
#16
jasonhemann
closed
1 week ago
5
Partially instantiate list when lower bound on length is known
#15
bakaq
opened
1 year ago
0
length_c/2
#14
UWN
closed
1 year ago
3
(#=..)/2 panic
#13
bakaq
closed
1 year ago
2
List constraints
#12
bakaq
opened
1 year ago
17
Atom constraints
#11
bakaq
opened
1 year ago
0
Type constraints
#10
bakaq
closed
1 year ago
1
Automated search of inconsistency
#9
bakaq
closed
1 year ago
0
catch/3-all may mask real errors
#8
UWN
closed
1 year ago
2
Invalid syntax used
#7
UWN
closed
1 year ago
1
arg_c/3
#6
bakaq
opened
1 year ago
1
To err or fail
#5
UWN
closed
1 year ago
8
Weakness
#4
UWN
closed
1 year ago
0
Unexpected weakness
#3
UWN
closed
1 year ago
0
Unexpected error
#2
UWN
closed
1 year ago
0
loops
#1
UWN
closed
1 year ago
2