Global Variables in Logic Programming

doi 10.7551/mitpress/4299.003.0007

Full Text

Abstract

Available in

Date

Authors

Unknown

Publisher

The MIT Press

Related search

On Extra Variables in (Equational) Logic Programming

1995English

Logic Programming

1995English

Inductive Equivalence in Clausal Logic and Nonmonotonic Logic Programming

Machine Learning
Artificial IntelligenceSoftware
2010English

Service-Oriented Logic Programming

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Logic Programming in a Fragment of Intuitionistic Linear Logic

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
1994English

Integrative Functional Statistics in Logic Programming

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Records for Logic Programming

The Journal of Logic Programming
1994English

On Logical Constraints in Logic Programming

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1995English

Modularization and Abstraction in Logic Programming

New Generation Computing
Computer NetworksHardwareCommunicationsArchitectureTheoretical Computer ScienceSoftware
1983English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy