Artificial Intelligence
AI Theory
AI papers

Japan AI papers
http://www.ai-gakkai.or.jp/jsai/journal/olj.html
http://kaken.nii.ac.jp/ja/p/07308027

Meta Language

http://www1.doshisha.ac.jp/~ksuzuki/lecture/meta06/meta06_12.html

Artificial Intelligence:AI
Nature Language Processing

syntax / semantics / pragmatics
formal grammar

AI → Expert System: Knowdge Engineering

Lisp, Prolog
Machine Translation and Chinese Char Conversion (AI Dict)

Lisp
Prolog

SWI-Prolog
http://www.swi-prolog.org/download/stable

Prolog Tutorial cn
Prolog Tutorial Digest cn

Reference:

Prolog Java Integration

Scheme
Haskell