This is a short description of AI language SAMPLE
and of the corresponding programming technology. I came to this
language and technology several years ago doing research in the
area of inductive program synthesis. Surprisingly for me at that
time, SAMPLE turned out to be as suitable for programming by a human
as for automatic program construction. Now I am convinced that it
is more suitable for humans than many of the existing programming
environments.
SAMPLE is related
to AI, Linguistics, Mathematics, and, more specifically, to Logic
Programming, Program Synthesis, Corpus Linguistics, Machine Translation.
It rises interesting technological and philosophical questions:
SAMPLE provides the most natural way of programming in many areas
beginning from text processing. It appeals to human intuition and
demonstrates absolutely unexpected power over algorithm creation.
|