setof/3 is a built-in predicate of ISO Prolog.
I have predicate P1 that returns values one after the other like this: -? P1(ARGUMENTS, RETURN). -? RETURN = 1; -? …
prolog prolog-setofSuppose you have a database with the following content: son(a, d). son(b, d). son(a, c). son(b, …
prolog prolog-setofI have the following problem: prolog prog: man(thomas, 2010). man(leon, 2011). man(thomas, 2012). man(Man) :- once(man(Man, _). problem: ?…
variables prolog prolog-setof