IntAfy

Good morning!

Current work

I am working on library support of the Planner language. That means I am trying to implement Planner within InteLib library. At the moment the following specific parts of Planner seem to work: Lisp part, backtracking, pattern matching, inner database. The support of theorem proving (including matching pattern to pattern) has been almost implemented.

Future tasks

• Self-applied translator from Planner to C++.
• Writing more built-in functions and matchers.
• Making old Planner code from AL subfaculty work. The most difficult, probably impossible - at it seems to me now - task.

Contacts:

• ICQ: 304190634
• e-mail: intafy {at} gmail {dot} com
• mobile: 8-926-1715649
• LiveJournal?: http://intafy.livejournal.com/

Welcome ) You've finally found a way to split thy nickname? :) -- RamosianGlider

No, I have just asked GenShen. ;-) This is probably the best way of splitting it. --IntAfy

By the way, it has a bonus of emphasizing proper accent ;) -- MeDendik