Ask Prolog for predicates of an argument

Asked Apr 12 '18 at 16:57

Active Apr 12 '18 at 16:57

Viewed 24 times

Say, we have some facts like

musician(sokrates).
philosopher(sokrates).
two_legged(sokrates).
dead(sokrates).

Is there any way to ask Prolog for predicates that are valid for 'sokrates' like:

X(sokrates).

I looked for some syntax to do that, but I can't imagine a solution.

asked Apr 12 '18 at 16:57

Prodiction

@TomasBy: How would that be used to solve this problem? Doesn't =.. require the predicate to be specified on at least one side? – Scott Hunter Apr 12 '18 at 17:06
@mimimi: What do you need this to accomplish? Maybe there is another way to accomplish it. – Scott Hunter Apr 12 '18 at 17:09

0 Answers0