Towards Integrating Functional and Logic Styles Using Relation.

Abdelkader Belkhir Namick Nemouche

Published in: PLILP (1994)

Keyphrases

multi valued
data model
logic programming
modal logic
data mining
predicate logic
sound and complete axiomatization
database
knowledge base
website
web services
automated reasoning
logical framework
classical logic
computational properties
proof theory