Records for logic programming
From MaRDI portal
Publication:4290618
DOI10.22028/D291-24985 10.1016/0743-1066(94)90044-2; 10.22028/D291-24985zbMath0803.68021MaRDI QIDQ4290618
Publication date: 5 May 1994
Published in: The Journal of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0743-1066(94)90044-2
records; satisfiability; entailment; constraint logic programming; axiomatization; logical semantics; mathematical semantics; feature trees; logical data structure
Related Items
Combination of constraint systems II: Rational amalgamation, A complete and recursive feature theory, Finite-tree analysis for constraint logic-based languages, A new generic scheme for functional logic programming with constraints, Theories with the independence property, Combination of constraint solvers for free and quasi-free structures, How to win a game with features, Situated simplification, Ordering constraints over feature trees expressed in second-order monadic logic., Dominance constraints with Boolean connectives: A model-eliminative treatment, A rational reconstruction of the domain of feature structures, Set constraints with intersection