Writing Programs as QJ Proof and Compiling into Prolog Programs.

Yukihide Takayama

Published in: SLP (1987)

Keyphrases

prolog programs
logic programs
answer set programming
theorem proving
logic programming
fixpoint
collaborative writing
neural network
answer sets
theorem prover
recursive programs
e learning
open source
orders of magnitude