|=--------------------------------------------------=|
  _________________  .____     ___________________
 /   _____/\_____  \ |    |    \_   _____/\______ \
 \_____  \  /  / \  \|    |     |    __)_  |    |  \
 /        \/   \_/.  \    |___  |        \ |    `   \
/_______  /\_____\ \_/_______ \/_______  //_______  /
        \/        \__>       \/        \/         \/


|=--------------------------------------------------=|
. |01.01 - DEDUCOM                                   .
|=--------------------------------------------------=|

  Structured  Query  Language   (SQL)  is  simply  a
language to  communicate with computers.  It's quite
an  old  language  in   terms  of  modern  computers
history.

  One   of  the   first  implementation   of  higher
abstraction  level language  was DEDUCOM  (Deductive
Communicator).  It  was  operating around  the  year
1965. The program DEDUCOM  was written in LISP. This
deductive program  had capacity for 68  facts and it
was able to answer 10 questions.

  The  deductive programs  development was  directed
towards increasing capacity of  the whole systems to
absorb higher number of the input facts.

  The concept  became base for the  idea of programs
where input  is given in simple  queries. The result
were programs allowing to answer questions by ad-hoc
search programs construction.

  This   type    of   programs    construction   had
complications   in   the   correct   answer   search
implementation. Some  queries doesn't  gives answers
and some do in the case of correct facts sorting.

  The DEDUCOM  program solved this  by propositional
calculus usage. Implementation complications arrised
when  the  facts  had  to be  transformed  into  the
logical equivalent in  propositional calculus and it
was necessary to input  many redundant facts. In any
case  DEDUCOM  became  proof of  concept  for  these
programs.

  Interestingly  the  DEDUCOM   was  the  result  of
artifical intelligence research in LISP language.


|=--------------------------------------------------=|
; v  | Thanks Linux and Vim | buy me a coffee   | o |;
|=--------------------------------------------------=|