Logic programming, parallelTepandi, JaakConcise encyclopedia of software engineering1993 / p. 195-196