ramblex/gist:298605

Created February 8, 2010 21:40

Star () You must be signed in to star a gist
Fork () You must be signed in to fork a gist

Learn more about clone URLs
Clone this repository at <script src="https://gist.github.com/ramblex/298605.js"></script>
Save ramblex/298605 to your computer and use it in GitHub Desktop.

Download ZIP

Raw

gistfile1.txt

	is_known_and_unique(Name) :-
	student(Name, X, _),
	student(Name, Y, _),
	X \== Y.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment