Reference Type Logic Variables in Constraint-logic Object-oriented Programming.

Jan C. Dageförde

Published in: CoRR (2018)

Keyphrases

object oriented programming
logic programming
modal logic
programming language
soft constraints
database
object oriented
logic programs
multi valued
classical logic