Un module Prolog de mu-calcul booléen: une réalisation par BDD.

Serge Colin Frédéric Mesnard Antoine Rauzy

Published in: JFPLC (1999)

Keyphrases

logic programming
knowledge representation
programming language
knowledge base
genetic algorithm
abstract machine
case study
boolean functions
verilog hdl
neural network
prolog programs
boolean formula
theorem proving
general purpose
user interface
expert systems
image processing
information systems