Logichart: A Prolog Program Diagram and its Layout.

Yoshihiro Adachi Yudai Furusawa

Published in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2007)

Keyphrases

prolog programs
logic programming
artificial intelligence
programming language
static analysis
semantically equivalent
inference engine
computer programs
search engine
expert systems
relational databases
object oriented
programming environment
program execution
programs written
partial deduction