GNU Prolog: Beyond Compiling Prolog to C.

Daniel Diaz Philippe Codognet

Published in: PADL (2000)

Keyphrases

logic programming
programming language
expert systems
prolog programs
knowledge representation
abstract machine
inference engine
backward chaining
knowledge base
open source
theorem proving
constraint logic programming
logic programming language
data sets
neural network
general purpose