Efficient algebraic effect handlers for Prolog.

Amr Hany Saleh Tom Schrijvers

Published in: Theory Pract. Log. Program. (2016)

Keyphrases

databases
logic programming
cost effective
learning algorithm
e learning
wide range
artificial neural networks
evolutionary algorithm
general purpose
computationally efficient
theorem proving