issues
search
mndrix
/
golog
Prolog interpreter in Go
MIT License
374
stars
39
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Fix printing list of ints
#25
kuba--
closed
4 years ago
1
Can't create an interpreter with pre-bound variables.
#24
tbolsh
opened
6 years ago
1
Olegs/expose native objects
#23
wvxvw
closed
7 years ago
4
read: Use type assertion instead of importing reflect
#22
ericlagergren
closed
8 years ago
1
Use type assertions instead of reflect.
#21
ericlagergren
closed
8 years ago
2
go get github.com/mndrix/golog/bin fails
#20
mehlon
closed
7 years ago
1
Typing bug: interface{} instead of ps.Any
#19
tfgordon
closed
8 years ago
2
Modified ps.Any to interface{} to make it compatible with new version…
#18
vzaramel
closed
9 years ago
0
Update golog.go import statements
#17
bransorem
closed
9 years ago
1
Tighter code intergration with golang
#16
lingnand
closed
9 years ago
2
allow CanProve to exit early
#15
collosi
closed
10 years ago
3
optimize atom representation
#14
mndrix
opened
11 years ago
0
optimize code representations
#13
mndrix
opened
11 years ago
3
create benchmarks for Jekejeke test programs
#12
mndrix
opened
11 years ago
1
support tabling
#11
mndrix
opened
11 years ago
0
support attributed variables
#10
mndrix
opened
11 years ago
0
steal ideas from Krall
#9
mndrix
opened
11 years ago
0
support or-parallelism
#8
mndrix
opened
11 years ago
3
implement indexing
#7
mndrix
closed
11 years ago
0
profile and improve performance for each benchmark
#6
mndrix
closed
11 years ago
1
experiment with other unification algorithms
#5
mndrix
opened
11 years ago
0
make Unify() a method on Term
#4
mndrix
closed
11 years ago
0
implement more ISO Prolog built in predicates
#3
mndrix
closed
11 years ago
1
remove most Term methods
#2
mndrix
closed
11 years ago
1
separate Compound and Atom types
#1
mndrix
closed
11 years ago
0