Prolog's Control Constructs in a Functional Setting - Axioms and Implementation.
Ralf HinzePublished in: Int. J. Found. Comput. Sci. (2001)
Keyphrases
- functional language
- functional programming
- knowledge base
- control method
- efficient implementation
- control system
- data sets
- control structure
- horn clauses
- implementation details
- control theory
- control strategy
- mathematical model
- hardware implementation
- control strategies
- process control
- logic programs
- programming language
- reinforcement learning
- relational databases