کتاب های Bartak R.
درباره نویسنده
On-line guide to Prolog programming
Bartak R., 1998
Interactive Prolog guide
Bartak R., 1997
An Introduction to Constraint-based Temporal Reasoning
Roman Barták, Robert A. Morris, K. Brent Venable, 2014
