Substad: For Fast Substitution in LISP, with an Application on Unification.
Dennis de ChampeauxPublished in: Inf. Process. Lett. (1978)
Keyphrases
- learning theory
- programming language
- higher order
- dependency directed backtracking
- domain knowledge
- knowledge representation
- database
- artificial intelligence
- special case
- np hard
- data model
- multi agent systems
- reinforcement learning
- case study
- high speed
- domain specific
- information systems
- theorem prover
- theorem proving