Login: a logic programming language with built-in inheritance
From MaRDI portal
Publication:3735057
DOI10.1016/0743-1066(86)90013-0zbMath0599.68013MaRDI QIDQ3735057
Publication date: 1986
Published in: The Journal of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0743-1066(86)90013-0
68N01: General topics in the theory of software
Related Items
A FORMALISM FOR REPRESENTING AND REASONING WITH LINGUISTIC INFORMATION, A complete and recursive feature theory, A logic for programming with complex objects, Attributive concept descriptions with complements, Order-sorted logic programming with predicate hierarchy, An algebraic semantics approach to the effective resolution of type equations, Inheritance hierarchies: Semantics and unifications, Horn clause programs with polymorphic types: Semantics and resolution, The substitutional framework for sorted deduction: Fundamental results on hybrid reasoning, An order-sorted logic for knowledge representation systems, Semantic networks, The KL-ONE family, Completing sort hierarchies, The descriptive component of a hybrid knowledge representation language, Well-founded semantics and stratification for ordered logic programs, A feature constraint system for logic programming with entailment, Implementing specifications by dynamic inheritance, Hybrid reasoning using universal attachment, A set expression based inheritance system, Incremental constraint satisfaction for equational logic programming, On Skolemization in constrained logics, Fuzzy types: A framework for handling uncertainty about types of objects, Ordering constraints over feature trees expressed in second-order monadic logic., Tractable reasoning via approximation, Resolution for label-based formulas in hierarchical representation, A rational reconstruction of the domain of feature structures, Kernel-LEAF: A logic plus functional language
