tag : SLD resolution

1 course project
wrench tuProlog Engine Enrico Siboni