Hacker News new | ask | show | jobs
by lou1306 3125 days ago
Eh, they are quite different under the hood. To put it real simple (and probably quite sloppy): Prolog determines the output by applying logic. ML uses mathematics to analyze the input and "guesses" the output, based on the training set.

As a corollary: Prolog will negate anything that can't be proven true from the rules you give it. A ML algorithm will always give you some answer, though the quality depends on the learning data.
2 comments
maxxxxx 3125 days ago
Cool. Thanks! I am watching these trends from the outside and it's hard to keep up if you don't work directly with the tools.
link
gregdeveloper 3125 days ago
I think he meant ML as the family of meta programming languages?

He did say systems though so you are probably right

link
lou1306 3124 days ago
Also, the part about "Input some learning data" makes me think to Machine Learning rather than Meta Language.

Btw, Prolog and ML might look like distant cousins: e.g. you use recursion and pattern matching in both. But under the hood there are big differences that arise from Prolog's logic programming paradigm: for instance, you can use append(L1, L2, L3) both to concatenate and split a list, depending on the variables you set:

  append([1,2], [3,4], X)       % ==> X=[1,2,3,4]
  append([1,2], Y, [1,2,3,4])   % ==> Y=[3,4]
link