A Propagation Tracer for GNU-Prolog: From Formal Definition to Efficient Implementation.

Ludovic Langevine Mireille Ducassé Pierre Deransart

Published in: ICLP (2003)

Keyphrases

efficient implementation
open source
expert systems
logic programming
source code
active set
hardware implementation
abstract machine
knowledge base
highly parallel
inference engine
knowledge representation
efficient processing
map reduce
prolog programs
theorem proving
programming language
programming paradigms