[erlang-questions] Erlang and artificial intelligence: new article on trapexit
Tue Jul 17 21:32:43 CEST 2007
Ludovic Coquelle wrote:
> I have yet to read the ref you gave, but could you quickly explain
> what's the main difference with an inference engine like prolog? (or
> erlang implementation erlog
AFAIK, in Prolog you don't have an explicit knowledge base; you write
your initial facts and your rules by means of "implications".
When you issue a query, the implications are processed using backtracing
and the derived knowledge is obtained (returned, not stored in any place).
Conversely, in a rule production system, rules are processed not during
queries but each time you assert or retract a fact. So you have a
knowledge base which explicitly contains (and stores) all your
knowledge, basic and derived. Therefore, querying does not imply rule
processing but only "taking a look" at the KB.
> I'm hoping your inference engine can use the concurrency :)
See my answer to Mike French on this issue.
All the best,
Eng. Corrado Santoro, Ph.D.
University of Catania - ITALY - Engineering Faculty
Tel: +39 095 7382380 VoIP: sip:7035@REDACTED
Personal Home Page: http://www.diit.unict.it/users/csanto
NUXI Home Page: http://nuxi.diit.unict.it
More information about the erlang-questions