Hot answers tagged

16

Remembering that artificial intelligence has been an academic endeavour for the longest time, Prolog was amongst one of the early languages used as part of the study and implementation of it. It has rarely made its way into large commercial applications, having said that, a famous commercial implementation is in Watson, where prolog is used for NLP. The ...


13

Yes, as mentioned in other answers, Prolog is actually used in IBM Watson. Prolog doesn't get much "hype" and "buzz" these days, but it is absolutely still used. As always, it has certain specific areas where it shines, and specific techniques that map well to its use. Specifically, things like Inductive Logic Programming, Constraint Logic Programming, ...


3

In reference to your exact question there is published research that attempts to bring these two areas together. “HolStep: A Machine Learning Dataset for Higher-order Logic Theorem Proving” by Cezary Kaliszyk, François Chollet, Christian Szegedy (2017) https://arxiv.org/abs/1703.00426 That group also has other published work related to the subject. ...


3

Your intuition is good. Because "nearby" is only defined with "connected", there could only be 1 station between them. However, it says that the stations are "not_too_far" if at most one station is between them. What about if no stations are between them? If 2 stations are "connected" they should be "not_too_far" as well. So it should be: not_too_far(X,Y) ...


2

We cannot do homework for students in this network, however I can suggest that several items affecting cost and several usage patterns are missing and the number of rules is shy by an order of magnitude. I wholeheartedly agree with the educational directives you received. Consider first developing your lists further to include peripherals like DVD burner, ...


1

The application of Prolog, the declarative programming language may or may not be closely related to AI strength. Prolog is a language that was designed to produce a Turing Complete backward chaining general programming language. The strength or weakness of Prolog programs, just as for programs in Scheme, Common LISP, Java or Scala with DRools rules engine,...


Only top voted, non community-wiki answers of a minimum length are eligible