C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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