Login / Signup
Difference-List Transformation for Prolog.
Kim Marriott
Harald Søndergaard
Published in:
New Gener. Comput. (1993)
Keyphrases
</>
expert systems
logic programming
knowledge representation
real time
multiresolution
backward chaining
real world
decision making
multi agent systems
logic programming language
abstract machine