A Complete Top-Down Interpreter for First Order Programs.

Taisuke Sato Fumio Motoyoshi

Published in: ISLP (1991)

Keyphrases

control program
higher order
high level
error handling
website
general purpose
multistage
programming language
visual basic database
provably correct
dynamic logic
program execution
automatic programming
database
machine learning
neural network
databases