trietptm/gist:2998022

Created June 26, 2012 18:59

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/trietptm/2998022.js"></script>
Save trietptm/2998022 to your computer and use it in GitHub Desktop.

Download ZIP

Back-Tracing (Quay lui)

Raw

gistfile1.prolog

	nguoi('Socrates').
	nguoi('Xeda').
	vua('Xeda').
	sungsuong(X) :- nguoi(X), vua(X).

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