Logic модели. Logic theorist программа. logic model пример. programming in logic. лоджик контекст.