add logic programming and prolog.
update