[Date Index] [Thread Index] [Author Index]

prolog like search

• To: mathgroup at smc.vnet.net
• Subject: [mg76621] prolog like search
• From: siewsk at bp.com
• Date: Thu, 24 May 2007 06:27:36 -0400 (EDT)

I would like to do prolog like searches in Mathematica

entities={ william , henry , diana , charles }
Sonof(william,diana);
Sonof(william,charles);
Sonof(henry,diana);
Sonof(henry,charles);

Married(A,B) := Sonof(S,A) && Sonof(S,B) && A != B;

PrologSearch(Married,entities)

returns { Married(diana,charles), Married(charles,diana) }

Any idea how this could be implemented in Mathematica?

• Follow-Ups:
  • Re: prolog like search
    • From: Sseziwa Mukasa <mukasa@jeol.com>