The following pages link to Logic Programming (Q5313209):
Displaying 13 items.
- Combining and automating classical and non-classical logics in classical higher-order logics (Q656826) (← links)
- MOLOG: A system that extends PROLOG with modal logic (Q1079962) (← links)
- Multimodal logic programming using equational and order-sorted logic (Q1199813) (← links)
- Modality and interrupts (Q1891265) (← links)
- Extending the \(\mu\)log framework with local and conditional blackboard operations (Q2365136) (← links)
- Multimodal logic programming (Q2503328) (← links)
- The BinProlog experience: architecture and implementation choices for continuation passing Prolog and first-class logic engines (Q2893093) (← links)
- N-Prolog: An extension of Prolog with hypothetical implications. I. (Q3696485) (← links)
- A calculus for the construction of modular prolog programs (Q3992238) (← links)
- A modal extension of logic programming: modularity, beliefs and hypothetical reasoning (Q4221295) (← links)
- Structuring logic programs: a modal approach (Q4311648) (← links)
- Logics in Artificial Intelligence (Q5394130) (← links)
- cr-models: An Inference Engine for CR-Prolog (Q5425395) (← links)
