My question is: Wikipedia says that there is logic programming paradigm support in Mathematica (like In Prolog).

Could anyone provide me with an example of using this paradigm in Mathematica?

  • 7
    $\begingroup$ See, e.g. here, and google papers/articles by Maeder and Marin, both have done interesting implementations. $\endgroup$ – ciao Jul 9 '15 at 0:38
  • 1
    $\begingroup$ Welcome to Mathematica.SE! I hope you will become a regular contributor. To get started, 1) take the introductory Tour now, 2) when you see good questions and answers, vote them up by clicking the gray triangles, because the credibility of the system is based on the reputation gained by users sharing their knowledge, 3) remember to accept the answer, if any, that solves your problem, by clicking the checkmark sign, and 4) give help too, by answering questions in your areas of expertise. $\endgroup$ – bbgodfrey Jul 9 '15 at 0:40
  • 1
    $\begingroup$ @ciao : you might be interested in this prolog implementation. :-) $\endgroup$ – dionys Jul 9 '15 at 8:56

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.