This website works better with JavaScript
Accueil
Explorer
Aide
Connexion
CNI
/
Prlog
Suivre
2
Voter
0
Fork
0
Fichiers
Tickets
0
Pull Requests
0
Wiki
Branche:
master
Branches
Tags
master
tp/basics/1
Prlog
/
potassco
/
hanoi
/
toh_ins.lp
toh_ins.lp
73 B
Lien permanent
Historique
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).