Welcome! Log In Create A New Profile

q3.8 Bratko

Posted by wroos

Announcements		Last Post
	SoC Curricula	09/30/2017 01:08PM
	Demarcation or scoping of examinations and assessment	02/13/2017 07:59AM
	School of Computing Short Learning Programmes	11/24/2014 08:37AM
	Unisa contact information	07/28/2011 01:28PM

Forums Messages New

wroos

q3.8 Bratko
April 12, 2007 11:30AM

Registered: 18 years ago
Posts: 37
Rating: 0

Has anyone tried this question?

I think Bratko is cheating in their suggested answer because they assume same order in set and subset.

I've got

ss(_, []).
ss(S, [SSHead | SSTail]) :-
member(SSHead, S),
ss(S, SSTail).

This tells me if a list is a subset, eg
?- ss([1, 2, 3], [1, 3]).
but it doesn't enumerate subsets.

Any ideas?