A Pragmatic Approach to Pre-testing Prolog Programs.

Christoph Beierle Marija Kulas Manfred Widera

Published in: INAP/WLP (2004)

Keyphrases

prolog programs
logic programs
database
artificial intelligence
logic programming
answer set programming
real time
information retrieval
computer vision
information systems
high level
search algorithm
software testing