Towards Banishing the Cut from Prolog.

Saumya K. Debray David Scott Warren

Published in: IEEE Trans. Software Eng. (1990)

Keyphrases

logic programming
expert systems
knowledge representation
programming language
prolog programs
abstract machine
knowledge base
real time
neural network
databases
genetic algorithm
computer vision
information systems
digital libraries
evolutionary algorithm