Bidirectional inference of mode information for logic programs.

Neng-Fa Zhou Kazuo Ushijima Toshihisa Takagi

Published in: Systems and Computers in Japan (1991)

Keyphrases

logic programs
background knowledge
logic programming
answer sets
answer set programming
normal logic programs
high level