This website works better with JavaScript
Inicio
Explorar
Ayuda
Iniciar sesión
CNI
/
Prlog
Seguir
2
Destacar
0
Fork
0
Archivos
Incidencias
0
Pull Requests
0
Wiki
Rama:
master
Ramas
Etiquetas
master
tp/basics/1
Prlog
/
potassco
/
hanoi
/
toh_ins.lp
toh_ins.lp
73 B
Permalink
Histórico
Raw
1
2
3
4
5
peg(a; b; c).
disk(1..4).
init_on(1..4, a).
goal_on(1..4, c).
moves(15).
