Index of /user/kpruiksm/15317s22/lectures/15-prolog

	Name	Last modified	Size	Description
	Parent Directory		-
	infer.pl	2022-04-28 17:51	699
	check.pl	2022-04-28 17:51	636
	bin.pl	2022-04-28 17:51	452
	inclass/	2022-04-28 17:51	-