//-->
LOGIC FOR PROBLEM SOLVING / ROBERT KOWALSKI
Kowalski, Robert, (1983)
Principles of artificial intelligence and expert systems development
Rolston, David W., (1988)
Knowledge based programming
Tyugu, Enn Charal'dovič, (1988)