N-Prolog: An Extension of Prolog with Hypothetical Implications I.

Dov M. Gabbay Uwe Reyle

Published in: J. Log. Program. (1984)

Keyphrases

logic programming
expert systems
programming language
knowledge representation
abstract machine
prolog programs
logic programming language
programming paradigms
knowledge base
databases
lower bound
multiresolution
web services
neural network
horn clauses
semantically equivalent
database